[coreboot-gerrit] Patch merged into coreboot/master: c01d138 exynos5250: Add function for configuring L2 cache