Re: [coreboot] Hint for boot from a PCI device.