Thanks Russell, Alan!
So we're OK with the current patch + replacing while(1) after kernel_halt at the end of power_down in hibernate.c with a while (1) cpu_relax()?
Any other changes needed?
If not, I'll send a follow up patch with just these.
Thanks!
Sebastian