t234ccplex: Clarify console output when booting a kernel

Author: andoma

src/platform/t234ccplex/efiboot.c

@@ -425,7 +425,7 @@ efi_boot_thread(void *arg)
 
   int (*entrypoint)(void *handle, const efi_system_table_t *t);
   entrypoint = h->loaded_image.image_base + pe->entry_point;
-  printf("Transfer control to kernel\n");
+  printf("Kernel initializing...\n");
   uint64_t r = entrypoint(h, &h->system_table);
   printf("Kernel failed to start, returncode: 0x%lx\n", r);
   return NULL;
@@ -472,9 +472,11 @@ prep_exit_boot_services(void)
 
   shutdown_notification("EFI Loader");
 
+  printf("Shutting down devices ... ");
   err = device_shutdown(NULL);
   if(err)
     return -1;
+  printf("done.\nBootloader transfers control to kernel.\n");
 
   return 0;
 }