Fix release build

sdk/xtdk/xtdebug.h

@@ -12,8 +12,10 @@
 
 /* XTOS platform debugging macros */
 #ifdef DBG
+    #define DEBUG                       1
     #define LDRPRINT(Format, ...)       if(LdrPrint) LdrPrint(Format, __VA_ARGS__);
 #else
+    #define DEBUG                       0
     #define LDRPRINT(Format, ...)       ((VOID)NULL)
 #endif
 

xtoskrnl/ke/krnlinit.c

@@ -24,7 +24,7 @@ VOID
 KeStartXtSystem(IN PKERNEL_INITIALIZATION_BLOCK Parameters)
 {
     /* Check if debugging enabled and if boot loader provided routine for debug printing */
-    if(DBG && Parameters->LoaderInformation.DbgPrint)
+    if(DEBUG && Parameters->LoaderInformation.DbgPrint)
     {
         /* Use loader's provided DbgPrint() routine for early printing to serial console */
         LdrPrint = Parameters->LoaderInformation.DbgPrint;