[coreboot-gerrit] Patch set updated for coreboot: 5f21d03 exynos5420/pit: re-factor membaseconfig0/1 usage