Introduce macro for PTE_TO_PA, 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 PTE and PA.
Currently PTE_TO_PA is achieved by masking off the upper and lower
attributes. Retain this behaviour but replace all instances with the new
macro instead.
Sponsored by: Arm Ltd