[coreboot-gerrit] Patch merged into coreboot/master: dfad17d exynos5250: uncomment $(INTERMEDIATE)