added PTE constants to include/arch/x86/mmu.h