Enable the ARCH_DMA_ADDR_T_64BIT kconfig option for LPAE builds,

as some peripherals like the Mali gpu do support 64bit dma addresses.
-----BEGIN PGP SIGNATURE-----

iQFEBAABCAAuFiEE7v+35S2Q1vLNA3Lx86Z5yZzRHYEFAlmeoV4QHGhlaWtvQHNu
dGVjaC5kZQAKCRDzpnnJnNEdgQdACAC0lVl2/kcQigHyGAwHZI6WU3kQvPzw1hBI
PjFL1VGP+J5ZgqYYGiA+HGJn1Wb2u05kWf73LJikyTjYty0JIbpGLT/zZIymkrGE
jJTHx7UsddaayC4h3PfVc9xjV35L1Uxr/3pCYXmbB4DZZD9jUyR5Aa4bHQ3TjAHA
ZMZsp4WO29UWIRpafYRgMXxmxofJLOUUi0hQdS/LXhLDRozNgtVRfQibC4LgDX00
gbMaLOmmdbNrRDtC4IQw8u0GNDaJ88gVPpjVdkYovh22lS3V0EfmBwW9bVmXHyVc
vwLhCgjqkqKdQnuMOD1c+6mC+L97Q51dO8iBnUUnU+fM44E86rcn
=bBGl
-----END PGP SIGNATURE-----