diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index b6078b1f7..0cd47a218 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -707,9 +707,9 @@ CONFIG_WLCORE_SDIO=m
 ## file: drivers/nvmem/Kconfig
 ##
 CONFIG_QCOM_QFPROM=m
-CONFIG_MESON_EFUSE=m
 CONFIG_ROCKCHIP_EFUSE=m
 CONFIG_NVMEM_SUNXI_SID=m
+CONFIG_MESON_EFUSE=m
 
 ##
 ## file: drivers/pci/Kconfig
diff --git a/debian/config/armhf/config.armmp-lpae b/debian/config/armhf/config.armmp-lpae
index d54d1351b..d5045f1ee 100644
--- a/debian/config/armhf/config.armmp-lpae
+++ b/debian/config/armhf/config.armmp-lpae
@@ -18,3 +18,4 @@ CONFIG_ARM_LPAE=y
 ## file: drivers/iommu/Kconfig
 ##
 CONFIG_ARM_SMMU=y
+
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 1ba2e0406..37fbbf579 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -67,7 +67,6 @@ CONFIG_CRASH_DUMP=y
 # CONFIG_KEXEC_JUMP is not set
 CONFIG_RELOCATABLE=y
 CONFIG_RANDOMIZE_BASE=y
-CONFIG_HOTPLUG_CPU=y
 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
 # CONFIG_COMPAT_VDSO is not set