Arndale 5250 crash when unplugging CPU1

Hi all,

I used the image:

arndale-saucy_server_20140222-611.img

I boots well but when I unplug CPU1, the kernel crashes.

It seems related to the AFTR state (an idle state of cpuidle) and the u-boot version which is 2013-rc1. It seems this issue does not happen with a more recent u-boot (I was not yet able to test it).

I don't know where to fill the bug for this release.

Chander, any pointer to the right u-boot version you are using successfully ?

Thanks

-- Daniel