diff --git a/debian/config/s390/config b/debian/config/s390/config
index 78165bbfa..375687d93 100644
--- a/debian/config/s390/config
+++ b/debian/config/s390/config
@@ -213,11 +213,3 @@ CONFIG_AFIUCV=m
 ##
 # CONFIG_X25 is not set
 
-##
-## file: unknown
-##
-CONFIG_MACHCHK_WARNING=y
-# CONFIG_PAGE_STATES is not set
-# CONFIG_QDIO_DEBUG is not set
-CONFIG_VIRT_TIMER=y
-