[coreboot-gerrit] Patch merged into coreboot/master: 4420676 cpu/cpu.h: Allow compiling with __SIMPLE_DEVICE__