[Bug 467511] kernel bug reported in dmesg output