Simplify ithread_sleep() and ithread_run().

setrunnable() is less efficient since it does unecessary computations
for a kthread. Even so, lets use it as it diminishes the amount of
replicated code.