Hi nbd,
try to find the correct device domain for your graphics controller with the
"lspci" command. You should search for "VGA compatible controller"... here it
is this way:
$ lspci | grep -i vga
00:02.0 VGA compatible controller: [controller name]
Then, take the numerical code in the beginning of the line and throw it in
the command: "sudo setpci -s CODE f4.b=XX". It is also possible that you
should change the "f4" parameter, that points to some place at the PCI memory
or sth. like that (the 'b' only tells the computer how to read the 'XX'
value), but probably the only people who could tell you which value you
should use there are the manufacturers of the controller.
