From: Justin M. Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2022#note_1105...
Do you have a need to flip CONFIG_ARM64_VA_BITS_47 for some reason? We build
with 48, and there is no dep on this config item with current kernels in this
repository.