[coreboot] Is there a proper way to skip a specific PCI device during PCI enumeration