x86: use kernel_stack_pointer() in kprobes.c