Index: /trunk/src/VBox/Devices/PC/DevPcArch.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevPcArch.cpp	(revision 71113)
+++ /trunk/src/VBox/Devices/PC/DevPcArch.cpp	(revision 71114)
@@ -212,8 +212,5 @@
 /**
  * @interface_method_impl{PDMDEVREG,pfnInitComplete,
- *      Turn RAM pages between 0xa0000 and 0xeffff into reserved memory.}
- * NB: At least some OS X versions (El Capitan, Sierra) get upset and panic
- * early in the boot when we make memory between 0x0f0000-0x100000 reserved
- * and non-writable.
+ *      Turn RAM pages between 0xa0000 and 0xfffff into reserved memory.}
  */
 static DECLCALLBACK(int) pcarchInitComplete(PPDMDEVINS pDevIns)
@@ -221,5 +218,5 @@
     PVM             pVM       = PDMDevHlpGetVM(pDevIns);
     int             iRegion   = 0;
-    RTGCPHYS const  GCPhysEnd = 0x0f0000;
+    RTGCPHYS const  GCPhysEnd = 0x100000;
     RTGCPHYS        GCPhysCur = 0x0a0000;
     do