[coreboot-gerrit] New patch to review for coreboot: b641366 armv7: invalidate TLB after changing translation table entries