[coreboot-gerrit] Patch merged into coreboot/master: 72a9beb samsung/exynos*/Makefile.inc: Simplify unnecessary ifeq