[coreboot-gerrit] New patch to review for coreboot: 19dd02b Set armv7 up for cpu_info to work as on x86 (so threads can work)