The Linux kernel does the same thing. Run htop and run a single threaded workload. You'll see it migrate around between all the cores.