diff -r 8f84a8897204 -r 896cb0d36c1a config/kernel/linux.in
--- a/config/kernel/linux.in	Wed Apr 27 22:37:32 2011 +0200
+++ b/config/kernel/linux.in	Sun May 08 19:02:44 2011 +0200
@@ -1,6 +1,5 @@
 # Linux kernel options
 
-config KERNEL_linux
-    select KERNEL_SUPPORTS_SHARED_LIBS
-    help
-      Build a toolchain targeting systems running Linux as a kernel.
+## select KERNEL_SUPPORTS_SHARED_LIBS
+##
+## help Build a toolchain targeting systems running Linux as a kernel.