so we need to make init_idle() aware of it so that it gets the preempt_count initialization right.
Attach a file by drag & drop or click to upload
