kernel/usb4bsd: Fix sizeof().