diff -r 674fcdccc0f3 -r ded6d50de4a7 configure.ac
--- a/configure.ac	Fri Apr 25 16:42:36 2014 +0200
+++ b/configure.ac	Fri Apr 25 17:04:43 2014 +0200
@@ -269,21 +269,6 @@
 AM_CONDITIONAL(ENABLE_CCAT, test "x$enableccat" = "x1")
 AC_SUBST(ENABLE_CCAT,[$enableccat])
 
-AC_ARG_WITH([ccat-kernel],
-    AC_HELP_STRING(
-        [--with-ccat-kernel=<X.Y.Z>],
-        [ccat kernel (only if differing)]
-    ),
-    [
-        kernelccat=[$withval]
-    ],
-    [
-        kernelccat=$linuxversion
-    ]
-)
-
-AC_SUBST(KERNEL_CCAT,[$kernelccat])
-
 #------------------------------------------------------------------------------
 # e100 driver
 #------------------------------------------------------------------------------