/* Check Board Identity: returns 0 if recognized, -1 if unknown  */
int checkboard(void)
/* Check Board Identity: returns 0 if recognized, -1 if unknown  */
int checkboard(void)
{
	puts ("Board: SIXNET SXNI855T\n");
	return 0;
}