L4Linux threads - interrupt context