Cleans up restartcore/smp_idle, fixes corner case