[coreboot] pci_read_config8 crash in mainboard.c