mm.c: remove a forgotten line
mmu.c: add dsb after every TLB invalidation

this ensures that invalidation completed.