1.1 --- a/config/kernel/linux.in	Wed Apr 27 22:37:32 2011 +0200
     1.2 +++ b/config/kernel/linux.in	Sun May 08 19:02:44 2011 +0200
     1.3 @@ -1,6 +1,5 @@
     1.4  # Linux kernel options
     1.5  
     1.6 -config KERNEL_linux
     1.7 -    select KERNEL_SUPPORTS_SHARED_LIBS
     1.8 -    help
     1.9 -      Build a toolchain targeting systems running Linux as a kernel.
    1.10 +## select KERNEL_SUPPORTS_SHARED_LIBS
    1.11 +##
    1.12 +## help Build a toolchain targeting systems running Linux as a kernel.