[coreboot-gerrit] New patch to review for coreboot: cc31e91 ARMv7: De-uboot-ify Exynos5250 code