This fixes the following use case: at t=x, T migrates from CPU1 to CPU2 at t=x, T finally migrates from CPU2 to CPU1 This was leading to a situation where T was running on both processors.
