# CONFIG_ARM64_4K_PAGES is not set
