My Intel NUC Solus machine was able to output 3840 x 2160 @ 60 Hz (through USB-C i.e. DP-3 in xrandr), but has somehow degraded to 30 Hz only at that specific resolution. Budgie Control Center > Displays > Refresh Rate doesn't show any options above 30 Hz. Could someone please advice me how to restore the option for 3840 x 2160 @ 60 Hz? Here's some additional information that hopefully will help troubleshoot:
`
$ xrandr -r 60
Rate 60.00 Hz not available for this size
$ xrandr -q
Screen 0: minimum 320 x 200, current 3840 x 2160, maximum 16384 x 16384
HDMI-1 disconnected (normal left inverted right x axis y axis)
HDMI-2 disconnected (normal left inverted right x axis y axis)
DP-1 disconnected (normal left inverted right x axis y axis)
DP-2 disconnected (normal left inverted right x axis y axis)
DP-3 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 697mm x 392mm
3840x2160 30.00*
2560x1440 74.78
1920x1080 74.98 60.00 50.00 59.94
1680x1050 59.95
1600x900 74.99 60.00
1280x1024 75.02 69.95 60.02
1440x900 59.89
1152x864 75.00
1280x720 60.00 50.00 59.94
1024x768 75.03 70.07 60.00
832x624 74.55
800x600 72.19 75.00 60.32
720x576 50.00
720x480 60.00 59.94
640x480 75.00 72.81 60.00 59.94
720x400 70.08
DP-4 disconnected (normal left inverted right x axis y axis)
`