--- xnu/xnu-792.6.76/iokit/Kernel/IODeviceTreeSupport.cpp
+++ xnu/xnu-792.25.20/iokit/Kernel/IODeviceTreeSupport.cpp
@@ -302,7 +302,11 @@
 {
     vm_offset_t	virt;
 
+#if defined (__i386__)
+    virt = ml_boot_ptovirt( range[0] );
+#else
     virt = ml_static_ptovirt( range[0] );
+#endif
     if( virt) {
         ml_static_mfree( virt, range[1] );
     }