pmap_remove works with userland mappings
Set the new ttbr0_el1 in pmap_activate
Lock the pmap in pmap_protect