[coreboot-gerrit] Patch merged into coreboot/master: 758abdd armv7: add a helper function for dcache ops by MVA