Hi, This must be set when cpu comes out of reset, and only cleared if the cpu is being powered down. at other times SMP bit must be enabled, even if the cpu is AMP system.
Boot code take care of this , but Kernel don't care this config.
steve.zhan
2012/12/19 boot-architecture-request@lists.linaro.org
if the SMP bit of ACTLR ACTLR[6] is not set to one. This seems to be different for A15
boot-architecture@lists.linaro.org