[coreboot] KGPE-D16: More insights on the PCI hang failure