Comment 15 for bug 153545

I have also had this. It seems to be prevalent on the 32-bit kernel rather than 64-bit. Could there be a substantial difference between the two kernel builds to cause this (i.e. tickless kernel)?