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

+#elif defined(CPU_PP) && defined(BOOTLOADER)
+    udelay(ticks*10000);
 #else
     sleep_thread(ticks);
 #endif
@@ -76,7 +78,7 @@

 void yield(void)
 {
-#if ((CONFIG_CPU == S3C2440 || defined(ELIO_TPJ1022)) && defined(BOOTLOADER))
+#if ((CONFIG_CPU == S3C2440 || defined(CPU_PP)) && defined(BOOTLOADER))
     /* Some targets don't like yielding in the bootloader */
 #else
     switch_thread(true, NULL);