[coreboot] v3 pci_dev_set_resources