Fix USB driver on GNU/Linux.

example-fraucheky/configure

@@ -9,6 +9,7 @@ vidpid=none
 verbose=no
 debug=no
 with_fraucheky=yes
+with_index=./INDEX.HTM
 
 if test -d ../.git; then
   REVISION=`git describe --dirty="-modified"`
@@ -34,8 +35,6 @@ for option; do
     verbose=yes ;;
   --vidpid=*)
     vidpid=$optarg ;;
-  --with-index=*)
-    with_index=$optarg ;;
   *)
     echo "Unrecognized option \`$option'" >&2
     echo "Try \`$0 --help' for more information." >&2

example-fraucheky/main.c

@@ -289,12 +289,6 @@ static char __process3_stack_base__[4096];
 #define main emulated_main
 #endif
 
-void
-usb_lld_write (uint8_t ep_num, const void *buf, size_t len)
-{
-  usb_lld_tx_enable_buf (ep_num, buf, len);
-}
-
 /*
  * Entry point.
  *