Okay, I got out of that situation with the help of the flashrom people. My BIOS is now updated.
It helped a bit in that I can now define and add my resolution again using xrandr. It won't stay added though: I need to define and add it every time I boot. Otherwise, the resolution is not in the Displays settings dropdown. The dmidecode output is: F7 08/12/2014 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1300557 Title: Screen resolution no longer works To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xorg/+bug/1300557/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
