We pass a kernel pointer to do_sigaltstack in sys32_sigaltstack, so