[coreboot] Re: Disable a PCI device