/* Check Board Identity: right now, assume borad type. (there is just one...after all)  */
int checkboard(void)
/* Check Board Identity: right now, assume borad type. (there is just one...after all)  */
int checkboard(void)
{
	char *s = getenv("serial#");
	printf("Board: %s", CONFIG_SYS_BOARD_NAME);
	if (s != NULL) {
		puts(", serial# ");
		puts(s);
	}
	putc('\n');
	return (0);
}