[Bug 1008713] kernel crashes. freeing a null pointer, apparently. happens during graphics use