fix restart on platforms without a setup_switch()