sched/rt: Factor out the push of current if next_task is migration disabled

The factored-out code from push_rt_task() can then be re-used as a callback
which will be queued in switched_to_rt() if current task doesn't fit on
current CPU.

Signed-off-by: Dietmar Eggemann <dietmar.eggemann@arm.com>