diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index a74994969..e33031838 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1531,11 +1531,6 @@ CONFIG_SND_HDA_INTEL=m
 ##
 ## file: unknown
 ##
-# CONFIG_DRM_I830 is not set
-# CONFIG_FB_HGA_ACCEL is not set
-CONFIG_LIRC_I2C=m
-CONFIG_LIRC_IT87=m
-CONFIG_LIRC_ITE8709=m
 CONFIG_MTD_CONCAT=m
 CONFIG_RADIO_GEMTEK_PCI=m
 CONFIG_XEN_KBDDEV_FRONTEND=y