[PATCH] let the the lockdep options depend on DEBUG_KERNEL