Index: firmware/kernel.c
===================================================================
--- firmware/kernel.c   (revision 12540)
+++ firmware/kernel.c   (working copy)
@@ -69,6 +69,10 @@
        counter = TCNTO4;
     } while(counter > 0);

+#elif defined(CPU_PP) && defined(BOOTLOADER)
+    unsigned int current = USEC_TIMER;
+    while((USEC_TIMER-current)<(ticks*10000))
+        switch_thread(true,NULL);
 #else
     sleep_thread(ticks);
 #endif