diff --git a/debian/config/kernelarch-x86/config-arch-32 b/debian/config/kernelarch-x86/config-arch-32
index 4865e11e3..0bb3f6c5f 100644
--- a/debian/config/kernelarch-x86/config-arch-32
+++ b/debian/config/kernelarch-x86/config-arch-32
@@ -469,8 +469,3 @@ CONFIG_SND_MSND_CLASSIC=m
 ##
 CONFIG_SND_SIS7019=m
 
-##
-## file: unknown
-##
-# CONFIG_OLPC_OPENFIRMWARE is not set
-