fix for regnual

src/usb-icc.c

@@ -1307,7 +1307,7 @@ USBthread (void *arg)
   return ccid_thread (thd);
 }
 
-static void *
+static void * __attribute__ ((noinline))
 ccid_thread (chopstx_t thd)
 {
   struct ep_in *epi = &endpoint_in;
@@ -1386,5 +1386,11 @@ ccid_thread (chopstx_t thd)
 	c->icc_state = icc_handle_timeout (c);
     }
 
+  if (c->application)
+    {
+      chopstx_join (c->application, NULL);
+      c->application = 0;
+    }
+
   return NULL;
 }