Re: [coreboot] Dealing with PCI reset