board_info_add_number
board_info_add_number("my-id", svr);
board_info_add_number("mem-size", pmemsize);
board_info_add_number("mp-boot-page",
board_info_add_number("mp-spin-up-table",
board_info_add_number("mp-spin-up-table", 0);
board_info_add_number("l2-cache-size", l2siz);
board_info_add_number("l2-cache-line-size", 32);
board_info_add_number("l2-cache-banks", l2banks);
board_info_add_number("l2-cache-ways", 8);
board_info_add_number("processor-frequency", cpu_freq);
board_info_add_number("bus-frequency", ccb_freq);
board_info_add_number("pci-frequency", e500_sys_clk);
board_info_add_number("timebase-frequency", ccb_freq / 8);
board_info_add_number("tsec1-phy-addr", phy_base + 0);
board_info_add_number("tsec2-phy-addr", phy_base + 1);
board_info_add_number("tsec3-phy-addr", phy_base + 2);
board_info_add_number("tsec4-phy-addr", phy_base + 3);
board_info_add_number("tsec1-phy-addr", MII_PHY_ANY);
board_info_add_number("tsec2-phy-addr", MII_PHY_ANY);
board_info_add_number("tsec3-phy-addr", MII_PHY_ANY);
board_info_add_number("tsec4-phy-addr", MII_PHY_ANY);
void board_info_add_number(const char *, uint64_t);