Anyone seen anything like this?
Execution does not get past the loop:
while (!cpu_isset(cpu, cpu_callin_map))
udelay(100);
The other CPU is not coming up.
32 bit SMP works fine.
The board is a relative of the Broadcom BigSur. The processor CPU is the
1280, dual core.
