[NTOS] Inline writing to PTEs through MI_WRITE_VALID/INVALID_PTE.