[Bug 858416] New: Random kernel crashes