usb4bsd: Fix some compilation warnings.