Some formats didn't respect -dev option given by command line.
Re-enable a 9600GT workaround in ntlmv2-opencl and wpapsk-opencl, but
not in krb5pa-sha1. This should work on Bull as well.