Simple udev-xrandr solution for changing laptop resolution