powerpc/mm: Convert pte_user() to static inline