[coreboot-gerrit] New patch to review for coreboot: e056b95 exynos5420: Fix build warning