+#if 0
+#warning assuming kernel_restart_prepare is at 0xc00779cc
+ void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))0xc00779cc;
+ //void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))KERNEL_RESTART_PREPARE;
+ return original_kernel_restart_prepare(cmd);
+#else