/* Remark: we just assume it is correct board here!  */
int checkboard(void)
/* Remark: we just assume it is correct board here!  */
int checkboard(void)
{
	printf("BOARD: Cogent CSB472\n");
	return 0;
}