diff --git a/dist/configs/00base/generic/aarch64.config b/dist/configs/00base/generic/aarch64.config
index 9df33e2fce4819b2c9836151b87e16e7339008d5..9e9c0d08c6e8407ffdcae60a1b1fd6039bad7ff0 100644
--- a/dist/configs/00base/generic/aarch64.config
+++ b/dist/configs/00base/generic/aarch64.config
@@ -346,9 +346,9 @@ CONFIG_QCOM_FALKOR_ERRATUM_E1041=y
 CONFIG_FUJITSU_ERRATUM_010001=y
 # end of ARM errata workarounds via the alternatives framework
 
-# CONFIG_ARM64_4K_PAGES is not set
+CONFIG_ARM64_4K_PAGES=y
 # CONFIG_ARM64_16K_PAGES is not set
-CONFIG_ARM64_64K_PAGES=y
+# CONFIG_ARM64_64K_PAGES is not set
 # CONFIG_ARM64_VA_BITS_42 is not set
 CONFIG_ARM64_VA_BITS_48=y
 # CONFIG_ARM64_VA_BITS_52 is not set