xen: update mask_rw_pte after kernel page tables init changes