[NTOS:KD64] Improve the ARC Paths output in the KdpPrintBanner()

Instead of mixing the paths order (ArcBoot, NtHal, ArcHal, NtBoot),
show them in a meaningful order: ArcHal, NtHal, ArcBoot, NtBoot.

- The `ArcHalDeviceName` + `NtHalPathName` is the path to the system
  loader started by the firmware (and the HAL in old non-x86 Windows
  versions).

- The `ArcBootDeviceName` + `NtBootPathName` is the operating system
  boot partition and directory ("system root").

ntoskrnl/kd64/kdinit.c

@@ -99,8 +99,8 @@ KdpPrintBanner(VOID)
     {
         DPRINT1("Command Line: %s\n", KeLoaderBlock->LoadOptions);
         DPRINT1("ARC Paths: %s %s %s %s\n",
-                KeLoaderBlock->ArcBootDeviceName, KeLoaderBlock->NtHalPathName,
-                KeLoaderBlock->ArcHalDeviceName, KeLoaderBlock->NtBootPathName);
+                KeLoaderBlock->ArcHalDeviceName, KeLoaderBlock->NtHalPathName,
+                KeLoaderBlock->ArcBootDeviceName, KeLoaderBlock->NtBootPathName);
     }
 }