Don't trigger interrupts before kickoff

Interrupts are disabled before kickoff in the real application, so we
should not trigger them manually.

src/CFG/C.hs

@@ -127,7 +127,7 @@ instrToC _ _ (IfThanElse left right) = do
 instrToC _ _ (Call ident False) = return $ ident <> "();"
 instrToC interrupts kind (Call ident True)  = do
   ints <-
-    if kind /= KindISR
+    if kind /= KindISR && not (isKickoff ident)
       then triggerInterrupts interrupts
       else return mempty
   return $
@@ -144,3 +144,6 @@ decisionNumber = do
   n <- get
   put (n+1)
   return n
+
+isKickoff :: Ident -> Bool
+isKickoff = ("kickoff" `T.isInfixOf`)