[coreboot-gerrit] Patch merged into coreboot/master: 42f5513 armv7: fixes for dcache_op_by_mva()