Thanks for the information. I followed your advice and updated BIOS. the command you asked me shows the following:
1101 03/09/2007 I cannot say that the issue is still reproducible, everything works okay (fingers crossed). The tricky thing is that the bug occurred to me only once (with the old BIOS firmware) and I cannot be 100% sure it was related to the BIOS only. As for the BIOS update I can say that the following 'warning' vanished now and that's good: Dec 17 21:05:58 heimdal kernel: [ 0.087878] ACPI BIOS Warning (bug): Incorrect checksum in table [SSDT] - 0x60, should be 0x67 (20131115/tbprint-214) Please give me some time for more testing and I'll write back. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1524641 Title: kernel BUG at /build/linux- FBu1FM/linux-3.13.0/include/drm/drm_mm.h:105! To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1524641/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
