[coreboot-gerrit] [XS] Change in coreboot[main]: [WIP] device/device_util: TODO look into is_pci_dev_on_bus