/* Stub to make POST code happy. Can't self-poweroff, so just hang.  */
void board_poweroff(void)
/* Stub to make POST code happy. Can't self-poweroff, so just hang.  */
void board_poweroff(void)
{
	puts ("### Please power off the board ###\n");
	while (1);
}