From 6778fa157f095fa373a7f4b97203251bedd9837f Mon Sep 17 00:00:00 2001
From: Timo Kreuzer <timo.kreuzer@reactos.org>
Date: Sun, 17 Jul 2022 19:31:38 +0200
Subject: [PATCH] [SETUP] Don't default to MP builds, when KDBG is enabled

The reason is that KDBG and the MP kernel don't like each other much and crash hard, causing VBox to shut down.
---
 base/setup/lib/settings.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/base/setup/lib/settings.c b/base/setup/lib/settings.c
index d392511dd2e..aece0e5e8d9 100644
--- a/base/setup/lib/settings.c
+++ b/base/setup/lib/settings.c
@@ -274,8 +274,12 @@ GetComputerIdentifier(
     }
 
 #ifdef _M_AMD64
-    /* On x64 we are l33t and use the MP config by default */
+    /* On x64 we are l33t and use the MP config by default (except when we use KDBG, which is broken) */
+#ifndef KDBG
     ComputerIdentifier = L"X64 MP";
+#else
+    ComputerIdentifier = L"X64 UP";
+#endif
 #else
     if (IsAcpiComputer())
     {