diff --git a/kernel/sys.c b/kernel/sys.c
index 01f195e96073..8b1ca84d09e2 100644
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -351,7 +351,9 @@ void kernel_restart(char *cmd)
 	restart_dbg("%s->%d->cmd=%s",__FUNCTION__,__LINE__,cmd);
 	
 	kernel_restart_prepare(cmd);
+#ifndef CONFIG_PLAT_RK
 	disable_nonboot_cpus();
+#endif
 	if (!cmd)
 		printk(KERN_EMERG "Restarting system.\n");
 	else