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 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
