bootstage: Make use of BOOTSTAGE_ID_RUN_OS in show_boot_progress()