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