https://bugs.freedesktop.org/show_bug.cgi?id=30022
--- Comment #1 from Marek Olšák maraeo@gmail.com 2010-09-04 19:29:23 PDT --- There are numbers like "num=140903841 max=32", have you added this message there?
Anyway, I can't reproduce this bug.
Please try: git clean -fdx and build the driver again.