bcm47xx_board_get_name
EXPORT_SYMBOL(bcm47xx_board_get_name);
mips_set_machine_name(bcm47xx_board_get_name());
const char *bcm47xx_board_get_name(void);