--- xnu/xnu-792.25.20/iokit/Kernel/IODeviceTreeSupport.cpp
+++ xnu/xnu-792.6.76/iokit/Kernel/IODeviceTreeSupport.cpp
@@ -302,11 +302,7 @@
 {
     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] );
     }