Does TimerMux#internal need to an Option?
Does TimerMux#internal need to an Option?

No it does not

lizardo/tock-devel,google/tock-on-titan,lizardo/tock-devel,lizardo/tock-devel,google/tock-on-titan,google/tock-on-titan