Clarify that the idle thread does not receive recent_cpu.