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