If you start two threads, bound to run on exactly the same core, and one is SCHED_IDLE, why does it