I found the answered buried in this post. The new setpci command is
sudo setpci -s 00:03.0 0x7b.b=19
btw, this setting isn't "sticky" and won't persist across reboots-- it has to be set upon each boot.
You can put this command in a bash script and run it on startup. See here for details on start-up scripts.