sched/arch: Introduce the finish_arch_post_lock_switch() scheduler callback