[coreboot-gerrit] Patch merged into coreboot/master: b98ab4a armv7: add wrapper for DCCSW (data cache clean by set/way)