Index: /trunk/src/VBox/Devices/EFI/efi_build.conf
===================================================================
--- /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 42800)
+++ /trunk/src/VBox/Devices/EFI/efi_build.conf	(revision 42801)
@@ -24,5 +24,5 @@
 X64_PETOOLS_PREFIX=/home/vbox/tools/bin/x86_64-w64-mingw32-
 #BUILD_LOG=/work/efi.log
-KBUILD_TYPE=release
+KBUILD_TYPE=debug
 CLEAN_EFI=1
 WITH_64=true