Index: /trunk/include/VBox/pgm.h
===================================================================
--- /trunk/include/VBox/pgm.h	(revision 8126)
+++ /trunk/include/VBox/pgm.h	(revision 8127)
@@ -38,7 +38,4 @@
  * @{
  */
-
-/* remove after fixing the switcher */
-#define PGM_WITH_BROKEN_32PAE_SWITCHER
 
 /** Chunk size for dynamically allocated physical memory. */