Error: comments on page 'hardware/tchicaya64' are not allowed