[coreboot-gerrit] New patch to review for coreboot: 265bf12 device/cpu_device.c: x86 bits winding up in ARM builds