x86: use PTE_MASK in 32-bit PAE