[coreboot-gerrit] Patch merged into coreboot/master: 755615a exynos5420: Enable relocatable module support