On Thu, Nov 29, 2012 at 03:05:09PM +0000, Will Deacon wrote: > It's really not safe moving the cpu_init that early because we're running > strongly ordered at that point, so locks aren't working. Maybe just move it before the printk?