[coreboot] Patch merged into coreboot/master: bba8090 armv7/exynos/snow: new cache maintenance API