[coreboot-gerrit] New patch to review for coreboot: 4420676 cpu/cpu.h: Allow compiling with __SIMPLE_DEVICE__