> What I should do is to do not build the lockdep tracing module if > CONFIG_LOCKDEP is not enabled. I would recommend that, since I got fooled by the presence of the lockdep tracing module in the package that the kernel was compiled with the configs to support it. Anyway, maybe offer two different packaged kernels one with lockdep and one without? /Harald