diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 6b5140776..09afb59b3 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -16,6 +16,7 @@ CONFIG_PARAVIRT_GUEST=y
 CONFIG_KVM_CLOCK=y
 CONFIG_KVM_GUEST=y
 CONFIG_PARAVIRT=y
+# CONFIG_PARAVIRT_SPINLOCKS is not set
 # CONFIG_PARAVIRT_DEBUG is not set
 # CONFIG_MEMTEST is not set
 CONFIG_HPET_TIMER=y
@@ -42,8 +43,8 @@ CONFIG_EFI=y
 CONFIG_SECCOMP=y
 # CONFIG_CC_STACKPROTECTOR is not set
 CONFIG_KEXEC=y
-# CONFIG_KEXEC_JUMP is not set
 # CONFIG_CRASH_DUMP is not set
+# CONFIG_KEXEC_JUMP is not set
 # CONFIG_RELOCATABLE is not set
 CONFIG_HOTPLUG_CPU=y
 # CONFIG_COMPAT_VDSO is not set
@@ -59,12 +60,6 @@ CONFIG_IA32_AOUT=y
 ##
 ## file: arch/x86/Kconfig.cpu
 ##
-## choice: Processor family
-# CONFIG_MK8 is not set
-# CONFIG_MPSC is not set
-# CONFIG_MCORE2 is not set
-CONFIG_GENERIC_CPU=y
-## end choice
 CONFIG_X86_PTRACE_BTS=y
 
 ##
@@ -168,8 +163,3 @@ CONFIG_XEN_SCRUB_PAGES=y
 CONFIG_XENFS=m
 CONFIG_XEN_COMPAT_XENFS=y
 
-##
-## file: unknown
-##
-# CONFIG_PARAVIRT_SPINLOCKS is not set
-