Restarting a nuclear reactor