--- xnu/xnu-2422.100.13/iokit/Kernel/IOStartIOKit.cpp
+++ xnu/xnu-1699.32.7/iokit/Kernel/IOStartIOKit.cpp
@@ -51,7 +51,7 @@
 
 extern void OSlibkernInit (void);
 
-void iokit_post_constructor_init(void);
+void iokit_post_constructor_init(void) __attribute__((section("__TEXT, initcode")));
 
 #include <kern/clock.h>
 #include <sys/time.h>