diff --git a/debian/config/kernelarch-arm/config b/debian/config/kernelarch-arm/config
index 03046fe67..ef877a98a 100644
--- a/debian/config/kernelarch-arm/config
+++ b/debian/config/kernelarch-arm/config
@@ -4,6 +4,7 @@
 CONFIG_MMU=y
 CONFIG_AEABI=y
 # CONFIG_OABI_COMPAT is not set
+CONFIG_CPU_SW_DOMAIN_PAN=y
 CONFIG_KEXEC=y
 
 ##