--- zzzz-none-000/linux-2.6.32.61/kernel/sys.c	2013-06-10 09:43:48.000000000 +0000
+++ ar10-7272-687/linux-2.6.32.61/kernel/sys.c	2013-10-15 13:45:22.000000000 +0000
@@ -303,7 +303,7 @@
 void kernel_restart(char *cmd)
 {
 	kernel_restart_prepare(cmd);
-	disable_nonboot_cpus();
+    disable_nonboot_cpus();
 	if (!cmd)
 		printk(KERN_EMERG "Restarting system.\n");
 	else