Re: Debug kernel panic with gdb?