add flag to trigger mmu flush

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>