Comment 7 for bug 1189457

On Wed, 2013-08-28 at 15:05 +0000, Julien Grall wrote:
> You can find in attachment the serial output.

From that I see you have boot monitor version V5.1.7, so it looks like
the required firmware installed on the TC2. I'm pretty sure you need
need V5.1.9 which should be in "ARM’s CPU Migration patch" as linked
from the Firmware Update tab of the release pages [1] and that also
should have an updated daughter board bios (dbb_v110.ebf). Also, make
sure you have the correct SCC register settings (see the 'Download
additional Linaro firmware' section of the same release note tab).

Basically, without all of these the boot and power management protocols
will be different between the kernel and the firmware. I suspect that
this is the problem because your logs I see:

 CPU1: failed to come online

so the second A15 didn't boot, and the board then looks like it rests
shortly after

 CPUidle for CPU0 registered

so about the time when the system would start trying to power down idle
cores.

[1] http://releases.linaro.org/13.07/android/vexpress

--
Tixy