It appears that the ckrm_cpu_ctrld thread can enter an infinite loop