sched, arm: Remove finish_arch_switch()