[coreboot-gerrit] Patch set updated for coreboot: 9cb9c47 exynos5420/pit/kirby: re-factor membaseconfig0/1 usage