x86: use kernel_stack_pointer() in process_32.c