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



--
Steve Zhan