Bug or no Bug?

[6bone%6bone.informatik.uni-leipzig.de@localhost]

Hello,

I have installed the 9.99.xx kernel on several systems. On most systems 
there are no problems. On a Dell 2800, the kernel crashes during boot. The 
problem only occurs if the option LOCKDEBUG is set.

options         LOCKDEBUG       # expensive locking checks/support

Should a bug report be made in this case? Or should problems that only 
occur when LOCKDEBUG is enabled be ignored?


Thank you for your efforts

Regards
Uwe