Perhaps this is something worth not worrying about until the ticks
   are working properly on the non-0 CPUs, as that might be related to the
   problem?

indeed :-)  not cleanly rebooting is a minor problem compared to
the list of things martin just posted.



.mrg.