Symbol: pci_8255_boardinfo