usb_set_interface(9) on Linux

The text bf89342f0ea0, as Debian 9 (Stretch) shipped it. The page shows this text now.

Makes a particular alternate setting be current

usb_set_interface(9) on Linux now