Some embeded HW do not implement PSCI cpu_die interface to shutdown the CPUs.
We would need to find out which is the crashed CPU and execute NOPs on all the other CPUs so that they don't intervene in the boot process.
Maybe we can do that in the purgatory, but we will need to think twice about that.