[coreboot-gerrit] Patch merged into coreboot/master: 8ec6905 armv7: move armv7_invalidate_caches() to cache.c