[coreboot-gerrit] Patch merged into coreboot/master: 635ee51 arm: Prevent compilation of old, experimental SMP support