[OSFMK] Make pmap use WRITE_PTE macro.