[PATCH 6.13 023/138] powerpc/64s: Rewrite __real_pte() and __rpte_to_hidx() as static inline