No option or option-set at hardware.tuxedo-drivers.settings.