printf ("Using machid 0x%x from environment\n", machid);
        }
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
 #ifdef CONFIG_OF_LIBFDT
        if (images->ft_len)
 
 
        theKernel = (void *)images->ep;
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        params = params_start = (struct tag *)gd->bd->bi_boot_params;
        params = setup_start_tag(params);
 
        debug("## Transferring control to Linux (at address %08lx) ...\n",
              (ulong) kernel);
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        /*
         * Linux Kernel Parameters (passing board info data):
 
        if (ret)
                return 1;
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        if (!of_flat_tree && argc > 3)
                of_flat_tree = (char *)simple_strtoul(argv[3], NULL, 16);
 
        /* find kernel entry point */
        theKernel = (void (*)(int, char **, char **, int *))images->ep;
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
 #ifdef DEBUG
        printf ("## Transferring control to Linux (at address %08lx) ...\n",
 
        /* find kernel entry point */
        theKernel = (void (*)(int, char **, char **, int *))images->ep;
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        debug ("## Transferring control to Linux (at address %08lx) ...\n",
                (ulong) theKernel);
 
                printf("Using machid 0x%x from environment\n", machid);
        }
 
-       show_boot_progress(15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        debug("## Transferring control to Linux (at address %08lx) ...\n",
               (ulong)theKernel);
 
        debug ("## Transferring control to Linux (at address %08lx) ...\n",
                (ulong)kernel);
 
-       show_boot_progress (15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
 #if defined(CONFIG_SYS_INIT_RAM_LOCK) && !defined(CONFIG_E500)
        unlock_ram_in_cache();
 
 void show_boot_progress(int val)
 {
        switch (val) {
-       case 15:                /* booting Linux */
+       case BOOTSTAGE_ID_RUN_OS:               /* booting Linux */
                set_leds(BOTH_LEDS, NEITHER_LED);
                break;
        case 64:                /* Ethernet initialization */
 
        display_out_pos = 0;    /* reset output position */
 
        /* we want to flush status 15 now */
-       if (status == 15)
+       if (status == BOOTSTAGE_ID_RUN_OS)
                display_flush();
 }
 #endif
 
        case 12:
        case 13:
        case 14:
-       case 15:
+       case BOOTSTAGE_ID_RUN_OS:
                stamp_led_set(STATUS_LED_OFF, STATUS_LED_OFF, STATUS_LED_OFF);
                break;
        default:
 
        case 12:
                setbits_be32(&gpio->simple_dvo, LED_Y);
                break;
-       case 15:
+       case BOOTSTAGE_ID_RUN_OS:
                setbits_be32(&gpio->simple_dvo, LED_R);
                break;
        default:
 
                        status_led_set (1, STATUS_LED_ON);
                        status_led_set (2, STATUS_LED_ON);
                        break;
-               case 15:
-                       /* booting */
+               case BOOTSTAGE_ID_RUN_OS:
                        status_led_set (0, STATUS_LED_ON);
                        status_led_set (1, STATUS_LED_ON);
                        status_led_set (2, STATUS_LED_ON);
 
 {
 #if defined(CONFIG_STATUS_LED)
 # if defined(STATUS_LED_BOOT)
-       if (status == 15) {
+       if (status == BOOTSTAGE_ID_RUN_OS) {
                /* ready to transfer to kernel, make sure LED is proper state */
                status_led_set(STATUS_LED_BOOT, CONFIG_BOOT_LED_STATE);
        }
 
 /* Call usb_stop() before starting the kernel */
 void show_boot_progress(int val)
 {
-       if(val == 15)
+       if (val == BOOTSTAGE_ID_RUN_OS)
                usb_stop();
 }
 
 
                "(at address %08lx) ...\n",
                (ulong)loader);
 
-       show_boot_progress(15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        /*
         * NetBSD Stage-2 Loader Parameters:
        printf("## Transferring control to RTEMS (at address %08lx) ...\n",
                (ulong)entry_point);
 
-       show_boot_progress(15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        /*
         * RTEMS Parameters:
        printf("## Transferring control to OSE (at address %08lx) ...\n",
                (ulong)entry_point);
 
-       show_boot_progress(15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        /*
         * OSE Parameters:
        printf("## Transferring control to INTEGRITY (at address %08lx) ...\n",
                (ulong)entry_point);
 
-       show_boot_progress(15);
+       show_boot_progress(BOOTSTAGE_ID_RUN_OS);
 
        /*
         * INTEGRITY Parameters: