ux500 breaking multi-platform kernels

[Lee Jones]

> > Here is the second problem with cpuidle driver:
> 
> Can you re-run this and send me your vmlinux file and this output for
> 'that run' please? I'll endeavour to fix.

Scrap that. I see what's happening. I'll fix.

-- 
Lee Jones
Linaro ST-Ericsson Landing Team Lead
Linaro.org │ Open source software for ARM SoCs
Follow Linaro: Facebook | Twitter | Blog