# ARM64_4K_PAGES is not set
CONFIG_ARM64_16K_PAGES=y
CONFIG_ARM64_VA_BITS=47
# CONFIG_ARM64_VA_BITS_36 is not set
CONFIG_ARM64_VA_BITS_47=y
