[coreboot-gerrit] Patch set updated for coreboot: device/pci.h: change #ifdef argument to __SIMPLE_DEVICE__