diff --git a/projects/ATV/linux/linux.i386.conf b/projects/ATV/linux/linux.i386.conf
index ac3bf46591..4fb9f7f102 100644
--- a/projects/ATV/linux/linux.i386.conf
+++ b/projects/ATV/linux/linux.i386.conf
@@ -1326,7 +1326,7 @@ CONFIG_DVB_CAPTURE_DRIVERS=y
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2083,6 +2083,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers
diff --git a/projects/Generic/linux/linux.i386.conf b/projects/Generic/linux/linux.i386.conf
index fc039a3fe0..48ec4f982a 100644
--- a/projects/Generic/linux/linux.i386.conf
+++ b/projects/Generic/linux/linux.i386.conf
@@ -1630,7 +1630,7 @@ CONFIG_DVB_BUDGET_CI=m
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2475,6 +2475,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers
diff --git a/projects/ION/linux/linux.i386.conf b/projects/ION/linux/linux.i386.conf
index 67ceb089a8..d58e85bf7c 100644
--- a/projects/ION/linux/linux.i386.conf
+++ b/projects/ION/linux/linux.i386.conf
@@ -1532,7 +1532,7 @@ CONFIG_DVB_BUDGET_CI=m
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2339,6 +2339,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers
diff --git a/projects/ION/linux/linux.x86_64.conf b/projects/ION/linux/linux.x86_64.conf
index fcb756edd6..06a3c97bb5 100644
--- a/projects/ION/linux/linux.x86_64.conf
+++ b/projects/ION/linux/linux.x86_64.conf
@@ -1474,7 +1474,7 @@ CONFIG_DVB_BUDGET_CI=m
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2282,6 +2282,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers
diff --git a/projects/Intel/linux/linux.i386.conf b/projects/Intel/linux/linux.i386.conf
index ffad6b90a7..3bc1b0ece4 100644
--- a/projects/Intel/linux/linux.i386.conf
+++ b/projects/Intel/linux/linux.i386.conf
@@ -1492,7 +1492,7 @@ CONFIG_DVB_BUDGET_CI=m
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2320,6 +2320,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers
diff --git a/projects/Intel/linux/linux.x86_64.conf b/projects/Intel/linux/linux.x86_64.conf
index 765f384e3c..6be0d5ab1d 100644
--- a/projects/Intel/linux/linux.x86_64.conf
+++ b/projects/Intel/linux/linux.x86_64.conf
@@ -1438,7 +1438,7 @@ CONFIG_DVB_BUDGET_CI=m
 #
 # Supported USB Adapters
 #
-CONFIG_DVB_USB=m
+CONFIG_DVB_USB=y
 # CONFIG_DVB_USB_DEBUG is not set
 # CONFIG_DVB_USB_A800 is not set
 CONFIG_DVB_USB_DIBUSB_MB=m
@@ -2258,6 +2258,7 @@ CONFIG_MACH_NO_WESTBRIDGE=y
 # CONFIG_SPEAKUP is not set
 # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set
 # CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_HWSPINLOCK is not set
 
 #
 # Firmware Drivers