[coreboot-gerrit] Patch merged into coreboot/master: 04b0189 exynos5250: Fix PMU register address map