Fix the case where we get an interrupt before ithreads are forked.

Found out by Patrick on arm and this is essentialy his fix, we agreed on
let is_scheduled set and return.

My x61s now boots and works, including X and so on.