[seL4] Interrupt in seL4