:: commit eef3bf757a46e2fd7321166a011f0c0e6a5e2a6c

diff --git a/common/protos/efi_boot_entry.c b/common/protos/efi_boot_entry.c
index d0caebee..86ac831b 100644
--- a/common/protos/efi_boot_entry.c
+++ b/common/protos/efi_boot_entry.c
@@ -113,6 +113,8 @@ noreturn void efi_boot_entry(char *config) {
 
   /* Now reboot */
   gRT->ResetSystem(EfiResetWarm, EFI_SUCCESS, 0, NULL);
+
+  panic(true, "efi_boot_entry: Failed to reboot");
 }
 
 #endif
\ No newline at end of file