Index: sys/boot/kshim/bsd_global.h
===================================================================
--- sys/boot/kshim/bsd_global.h
+++ sys/boot/kshim/bsd_global.h
@@ -55,7 +55,6 @@
 #include <dev/usb/usb_pf.h>
 #include <dev/usb/usb_request.h>
 #include <dev/usb/usb_util.h>
-#include <dev/usb/usb_compat_linux.h>
 #include <dev/usb/usbhid.h>
 #include <dev/usb/usb_ioctl.h>
 #include <dev/usb/usb_generic.h>
Index: sys/boot/kshim/bsd_kernel.h
===================================================================
--- sys/boot/kshim/bsd_kernel.h
+++ sys/boot/kshim/bsd_kernel.h
@@ -579,4 +579,7 @@
 #define	strlcpy(d,s,n) snprintf((d),(n),"%s",(s))
 #endif
 
+/* Should be defined in user application since is machine-dependent */
+extern int delay(unsigned int);
+
 #endif					/* _BSD_KERNEL_H_ */