mmu: Remove unneeded tlb_flush()

Pointed out by Nadav.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>