Merge pull request #83 from ahmedammar/master

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