[coreboot] Patch merged into coreboot/master: dc8259c armv7/exynos: remove some stale files leftover from initial import