[coreboot-gerrit] New patch to review for coreboot: device/pci.h: change #ifdef argument to __SIMPLE_DEVICE__