Index: /trunk/src/VBox/Devices/Input/DevPS2.cpp
===================================================================
--- /trunk/src/VBox/Devices/Input/DevPS2.cpp	(revision 49885)
+++ /trunk/src/VBox/Devices/Input/DevPS2.cpp	(revision 49886)
@@ -5,5 +5,5 @@
 
 /*
- * Copyright (C) 2006-2012 Oracle Corporation
+ * Copyright (C) 2006-2013 Oracle Corporation
  *
  * This file is part of VirtualBox Open Source Edition (OSE), as
@@ -52,4 +52,8 @@
 #include "VBoxDD.h"
 #include "PS2Dev.h"
+
+/* Do not remove this (unless eliminating the corresponding ifdefs), it willi
+ * cause instant triple faults when booting Windows VMs. */
+#define TARGET_I386
 
 #define PCKBD_SAVED_STATE_VERSION 7