[coreboot] Patch merged into coreboot/master: f1dfb2e move iRAM config variable to exynos5250 Kconfig