diff -r d205527c5e01 -r eac4dc8da8a9 config/kernel.in
--- a/config/kernel.in	Thu Apr 17 20:26:25 2008 +0000
+++ b/config/kernel.in	Tue Jun 24 16:24:09 2008 +0000
@@ -19,7 +19,7 @@
     string
 
 if KERNEL_LINUX
-source config/kernel/kernel_linux.in
+source config/kernel/linux.in
 endif
 
 endmenu