usb4bsd: Fix the compilation of the remaining drivers into the kernel.