[coreboot-gerrit] New patch to review for coreboot: 48825d4 exynos5420/pit/kirby: re-factor membaseconfig0/1 usage