Comment 6 for bug 1127872

I don't believe that's related at all. I've been getting those messages since I started using the 3.8 kernel. They happen every time the CPU temp goes above 75 C or so. I believe they're benign errors, though, because I haven't had any other related problems. (Also, this bug doesn't/didn't coincide with those kernel messages.)

This issue occurred after the February 15 pulseaudio update and doesn't seem to be occurring after the February 18 update. I'll wait a couple days and mark it invalid if it doesn't recur.