x86: use kernel_stack_pointer() in kgdb.c