Timer interposition: right now we jump back to the Linux timer handler
after cos timer handling. Linux will freeze if we don't let its
handler run. We should find a way to get rid of this, possibly by
using tickless kernel, which probably could survive timer hijacking