board_info_add_object
board_info_add_object("external-irqs", extirqs);
board_info_add_object(name, pci_intmap);
void board_info_add_object(const char *, void *);