Re: [coreboot] Boots from PCI add-on card on Intel ICHs