[coreboot-gerrit] New patch to review for coreboot: cfa1311 armv7/exynos5420: Configure CPU cores for kernel to enable SMP.