[coreboot-gerrit] Patch merged into coreboot/master: 122b6d6 exynos5420/pit: re-factor membaseconfig0/1 usage