[coreboot] Patch merged into coreboot/master: f207abb bd82x6x: Drop unneeded pci_dev_t