KGDB command line options not working for kernel 2.6.32