{ ... }: { boot.loader.grub.extraConfig = '' insmod setpci; setpci -s "00:17.0" 3e.b=8; setpci -s "02:00.0" 04.b=7; ''; }