ipc: do_ipc should not access thread context's stack pointer if not initialized.

Fixes f9micro/f9-kernel#80