[sysinit] fix oversight
[sysinit] fix oversight

The old code was not passing all the arguments to init_toploop which
in turn was never really called. This kind of worked because stm
workers do receive a state by master, so generating the initial one
locally is not necessary strictly speaking.

ejgallego/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,ejgallego/coq,Zimmi48/coq,coq/coq