usb4bsd/ehci: Ouch, fix a bug in the Makefile.