[coreboot-gerrit] Patch merged into coreboot/master: d6b16f5 Set armv7 up for cpu_info to work as on x86 (so threads can work)