Re: debugging enabled? (was Re: KGDB command line options not working for kernel 2.6.32)