# CONFIG_ARM64_16K_PAGES is not set