https://bugs.freedesktop.org/show_bug.cgi?id=44549
--- Comment #11 from Eric Bischoff ebischoff@nerim.net 2012-01-07 05:00:16 PST --- Rebooted with correct kernel parameters and attached corresponding versions of dmesg and cat /proc/cmdline. The other files do not change significantly. Sorry for the mistake.