MN10300: Fix the preemption resume_kernel() routine