...

...

Further investigation of this issue shows that the thread is in running state

and it is not scheduled. I am not sure how I will go about debugging this issue. Any pointer would help.

...

Could you confirm if [commit f26f9af Sched: fix skip_clock_update optimization] residents in your kernel?

I applied this patch manually. I still see the issue.

And commit da7a735e51f9622eb3e1672594d4a41da01d7e4f http://marc.info/?l=linux-kernel&m=129527509622696&w=2

This is already applied.