[coreboot-gerrit] Patch set updated for coreboot: 6abadf3 exynos5250: Add function for configuring L2 cache