From cbf319ea81fc0066a389c8ff7015871ee59bd152 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=E9=BB=84=E6=B6=9B?= <huangtao@rock-chips.com>
Date: Mon, 25 Feb 2013 14:44:51 +0800
Subject: [PATCH] rk: disable disable_nonboot_cpus when kernel restart

work around rk3188 cpu down bug temporarily.
---
 kernel/sys.c | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.34.1