Index: /trunk/src/VBox/Runtime/r0drv/nt/ntBldSymDb.cpp
===================================================================
--- /trunk/src/VBox/Runtime/r0drv/nt/ntBldSymDb.cpp	(revision 50681)
+++ /trunk/src/VBox/Runtime/r0drv/nt/ntBldSymDb.cpp	(revision 50682)
@@ -750,4 +750,5 @@
      *  - Windows_Win7SP1.7601.17514.101119-1850.AMD64FRE
      *  - Windows_Win8.9200.16384.120725-1247.X86CHK
+     *  - en_windows_8_1_symbols_debug_checked_x64_2712568
      */
     bool fFound = false;
@@ -785,8 +786,9 @@
             { RT_STR_TUPLE("Windows_Win7.7600"),                6, 1, 0, 7600 }, /* RC */
             { RT_STR_TUPLE("Windows_Win7SP1.7601"),             6, 1, 1, 7601 }, /* RC */
-            { RT_STR_TUPLE("Windows_Winmain.8102"),             6, 1, 0, 8102 }, /* preview */
-            { RT_STR_TUPLE("Windows_Winmain.8250"),             6, 1, 0, 8250 }, /* beta */
-            { RT_STR_TUPLE("Windows_Winmain.8400"),             6, 1, 0, 8400 }, /* RC */
-            { RT_STR_TUPLE("Windows_Win8.9200"),                6, 1, 0, 9200 }, /* RTM */
+            { RT_STR_TUPLE("Windows_Winmain.8102"),             6, 2, 0, 8102 }, /* preview */
+            { RT_STR_TUPLE("Windows_Winmain.8250"),             6, 2, 0, 8250 }, /* beta */
+            { RT_STR_TUPLE("Windows_Winmain.8400"),             6, 2, 0, 8400 }, /* RC */
+            { RT_STR_TUPLE("Windows_Win8.9200"),                6, 2, 0, 9200 }, /* RTM */
+            { RT_STR_TUPLE("en_windows_8_1"),                   6, 3, 0, 9600 }, /* RTM */
         };
 
@@ -823,4 +825,5 @@
             || RTStrIStr(pszComp, "-x86-DEBUG")
             || (RTStrIStr(pszComp, "-x86-") && RTStrIStr(pszComp, "-DEBUG"))
+            || RTStrIStr(pszComp, "_debug_checked_x86")
            )
         {
@@ -832,4 +835,5 @@
                  || RTStrIStr(pszComp, ".x64.chk.")
                  || RTStrIStr(pszComp, ".x64chk.")
+                 || RTStrIStr(pszComp, "_debug_checked_x64")
                 )
         {
@@ -852,4 +856,9 @@
             pVerInfo->fChecked = true;
             *penmArch = MYARCH_X86;
+        }
+        else if (RTStrIStr(pszComp, "_x64"))
+        {
+            pVerInfo->fChecked = false;
+            *penmArch = MYARCH_AMD64;
         }
         else