[coreboot-gerrit] New patch to review for coreboot: [WIP] src: replace device_t type with pnp/pci_defn_t