diff -r 1968d150a34f -r 6ce613108f43 steps.mk
--- a/steps.mk	Fri Jun 20 15:16:43 2008 +0000
+++ b/steps.mk	Tue Oct 14 19:19:20 2008 +0000
@@ -2,7 +2,6 @@
 # Copyright 2006 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
 
 CT_STEPS := libc_check_config   \
-            kernel_check_config \
             kernel_headers      \
             gmp                 \
             mpfr                \