:: commit e013c2ce467a7ecde3b11eec9df3519b2fb0ef55

diff --git a/stage23/lib/panic.s2.c b/stage23/lib/panic.s2.c
index 0ccab801..6fba4d87 100644
--- a/stage23/lib/panic.s2.c
+++ b/stage23/lib/panic.s2.c
@@ -1,6 +1,9 @@
 #include <lib/print.h>
 #include <lib/real.h>
 #include <lib/trace.h>
+#if defined (uefi)
+#   include <efi.h>
+#endif
 #include <lib/blib.h>
 #include <lib/readline.h>
 #include <lib/gterm.h>