/* second stage init callback, good time to panic if we couldn't identify on which board we're running since early printk is working  */
void __init board_setup(void)
/* second stage init callback, good time to panic if we couldn't identify on which board we're running since early printk is working  */
void __init board_setup(void)
{
	if (!board.name[0])
		panic("unable to detect bcm963xx board");
	printk(KERN_INFO PFX "board name: %s\n", board.name);
	if (bcm63xx_get_cpu_id() != board.expected_cpu_id)
		panic("unexpected CPU for bcm963xx board");
}