[coreboot-gerrit] Patch set updated for coreboot: 32d92d1 arm: Prevent compilation of old, experimental SMP support