Feature #1712: Fix scheduler resched migration