Re: [coreboot] Hiding a PCI device