Moved pte_t definition to arch-specific file