The latest FX3 driver for the DVK is signed so there is no need to do such things. The signed driver is part of the Super Speed USB Suite. If you change anything on the inf file, the signature is broken, of course. But for the DVK and the firmware examples it works very well.
Where can i download the new driver