[coreboot-gerrit] Patch merged into coreboot/master: f0cd03c exynos5420: Don't map low addresses that lead nowhere