diff --git a/debian/config/amd64/config b/debian/config/amd64/config
index d8e47b6c7..af9e6635d 100644
--- a/debian/config/amd64/config
+++ b/debian/config/amd64/config
@@ -1345,7 +1345,6 @@ CONFIG_FB_SYS_FILLRECT=m
 CONFIG_FB_SYS_FOPS=m
 CONFIG_FB_SYS_IMAGEBLIT=m
 CONFIG_VIDEO_IR_I2C=m
-CONFIG_RTC_DRV_M41T80=m
 CONFIG_MICROCODE_OLD_INTERFACE=y
 CONFIG_HOTPLUG=y
 CONFIG_EDAC_I5000=m
diff --git a/debian/config/config b/debian/config/config
index 06051b3b6..331f42e0e 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -1250,6 +1250,8 @@ CONFIG_RTC_DRV_ISL1208=m
 CONFIG_RTC_DRV_X1205=m
 CONFIG_RTC_DRV_PCF8563=m
 CONFIG_RTC_DRV_PCF8583=m
+CONFIG_RTC_DRV_M41T80=m
+# CONFIG_RTC_DRV_M41T80_WDT is not set
 
 #
 # SPI RTC drivers
@@ -1916,7 +1918,6 @@ CONFIG_RTC_DRV_M48T59=m
 CONFIG_MOUSE_PS2_ALPS=y
 CONFIG_EDAC_I82975X=m
 CONFIG_SND_SB16_DSP=m
-# CONFIG_RTC_DRV_M41T80_WDT is not set
 CONFIG_ANON_INODES=y
 # CONFIG_SND_KORG1212_FIRMWARE_IN_KERNEL is not set
 # CONFIG_USB_DABUSB is not set