Fix NULL pointer

xtldr/modules/xtos/xtos.c

@@ -99,6 +99,7 @@ XtBootSystem(IN PXT_BOOT_PROTOCOL_PARAMETERS Parameters)
         Parameters->SystemPath = L"\\ExectOS";
     }
 
+    /* Check if kernel file is set */
     if(Parameters->KernelFile == NULL)
     {
         /* No kernel filename set, fallback to default */
@@ -106,6 +107,13 @@ XtBootSystem(IN PXT_BOOT_PROTOCOL_PARAMETERS Parameters)
         Parameters->KernelFile = L"xtoskrnl.exe";
     }
 
+    /* Check if provided any kernel boot arguments */
+    if(Parameters->Arguments == NULL)
+    {
+        /* No argument supplied */
+        Parameters->Arguments = L"";
+    }
+
     /* Print a debug message */
     XtLdrProtocol->DbgPrint(L"[XTOS] ARC Path: %S\n"
                             L"[XTOS] System Path: %S\n"