[coreboot] New patch to review for coreboot: f207abb bd82x6x: Drop unneeded pci_dev_t