but I have to do this after every reboot which is not a good solution. I also found out that EDID information is not detected correctly by the i915 drm modul, as
/sys/module/drm/drivers/pci:i915/0000:00:02.0/drm/card0/card0-VGA-1/edid is an empty file.
I found a way to work around the issue:
$ xrandr --addmode VGA1 1280x1024
$ xrandr --output VGA1 --mode 1280x1024
but I have to do this after every reboot which is not a good solution. I also found out that EDID information is not detected correctly by the i915 drm modul, as drm/drivers/ pci:i915/ 0000:00: 02.0/drm/ card0/card0- VGA-1/edid is an empty file.
/sys/module/