Remove the ithread_exit function
This function is dangerous since it behaved differently on different
platform implementations. It is not used for any actual purpose, and
not currently necessary.
Change-Id: I9702e9943065235c7a7b29dc6c6eeb36212e7ce1