USB tiglusb driver

Fixes a locking bug, and changes the command line option, as
it was clashing with another part of the kernel.