x86: use kernel_stack_pointer() in dumpstack.c