[coreboot] Patch merged into coreboot/master: 6e3728b Add .h files for samsung exynos 5250