--- xnu/xnu-1228.7.58/iokit/Kernel/IOStartIOKit.cpp
+++ xnu/xnu-1228.9.59/iokit/Kernel/IOStartIOKit.cpp
@@ -52,7 +52,6 @@
 extern "C" {
 
 extern void OSlibkernInit (void);
-extern void ml_hpet_cfg(uint32_t, uint32_t);
 
 #include <kern/clock.h>
 #include <sys/time.h>
@@ -100,7 +99,7 @@
     OSCollectionIterator *      kmodIter;   // must release
     OSString *                  kmodName;   // don't release
 
-    if( PE_parse_boot_arg( "io", &debugFlags ))
+    if( PE_parse_boot_argn( "io", &debugFlags, sizeof (debugFlags) ))
 	gIOKitDebug = debugFlags;
 
     // Check for the log synchronous bit set in io