[coreboot] Dealing with PCI reset