UPDATING: Fix a typo and mention that for usb4bsd, w&k need rebuilding.