On Mon, 22 Oct 2012, Jean Pihet wrote: > On Mon, Oct 22, 2012 at 6:12 PM, Jean Pihet <jean.pihet at newoldbits.com> wrote: > > > Do you have CPU_IDLE enabled? > FYI the issue is not present with CPU_IDLE enabled. Hmm, how can you tell? I thought you weren't able to reproduce it with CPU_IDLE disabled either? - Paul