ntdll: Use page_size instead of page_mask+1.