void kernel_restart_prepare(char *cmd)
 {
-       void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))KERNEL_RESTART_PREPARE;
+#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);
 #if 0
        register_reboot_notifier(&dummy_notifier_reboot);