The linux kernel part of this is setting of CONFIG_ARM64_VA_BITS=48. Also reverting of just that in the 4.4 kernel would work.
The linux kernel part of this is setting of CONFIG_ ARM64_VA_ BITS=48. Also reverting of just that in the 4.4 kernel would work.