[coreboot-gerrit] Patch merged into coreboot/master: b774313 exynos5420: get rid of old exynos5420_config_l2_cache()