Comment 9 for bug 1034099

Still happens in generic x86-64 kernel, version 3.2.0.34.37

Screenshot of the lockup on boot: http://ompldr.org/vZ2p1Zg
(though it won't be particularly useful since a log is already attached)