Eu encontrei as respostas enterradas em este post . O novo comando setpci é
sudo setpci -s 00:03.0 0x7b.b=19
btw, essa configuração não é "pegajosa" e não persistirá durante as reinicializações - ela precisa ser definida em cada inicialização.
Você pode colocar este comando em um script bash e executá-lo na inicialização. Veja aqui para detalhes sobre os scripts de inicialização.