On Tue, Dec 13, 2011 at 07:31:38AM +0100, Eric Bénard wrote:

without this fix, a kernel compiled with imx_v4_v5_defconfig and running on a cpuimx25sd leads to :

I'll apply this but a better fix is to convert the driver to be a normal platform driver and only register the device on the appropraite boards.