[coreboot-gerrit] New patch to review for coreboot: cpu/Kconfig: Make SMP symbol accessable to non-x86 platforms