[coreboot-gerrit] Patch merged into coreboot/master: device/pci.h: change #ifdef argument to __SIMPLE_DEVICE__