diff --git a/config-generic b/config-generic
index cb2685716..b09abfca5 100644
--- a/config-generic
+++ b/config-generic
@@ -4342,7 +4342,6 @@ CONFIG_USB_ATMEL=m
 # CONFIG_RTL8192E is not set
 # CONFIG_INPUT_GPIO is not set
 # CONFIG_VIDEO_CX25821 is not set
-# CONFIG_HYPERV is not set
 # CONFIG_R8187SE is not set
 # CONFIG_RTL8192U is not set
 # CONFIG_BATMAN_ADV is not set
diff --git a/config-x86-generic b/config-x86-generic
index 23044c463..fec30ea87 100644
--- a/config-x86-generic
+++ b/config-x86-generic
@@ -381,3 +381,6 @@ CONFIG_HP_ACCEL=m
 CONFIG_SCHED_SMT=y
 CONFIG_CC_STACKPROTECTOR=y
 CONFIG_RELOCATABLE=y
+
+# CONFIG_HYPERV is not set
+