Hmmm, nouveau is a wildcard driver for all devices with vendor ID 0x10de, and the chipset is determined by reading some hardware registers... The kernel logs show this is chipset 0x137 (GP107). The check might have to be more specific (e.g. include chip revision) or less specific (e.g. all GP100 type cards), but for now, I'm writing a patch that disables just this chipset.