Introduce macro for PA_TO_PTE, setting the groundwork for future support
of various Arm VMSA extensions.
For extensions such a 52-bit VA/PA, this macro will need to be expanded
to allow more complex conversions between PA and PTE.
Currently PA_TO_PTE is a NOP. Replace all instances where we go from PA
to PTE with new PA_TO_PTE macro.
Sponsored by: Arm Ltd