The USB bus in Linux