Re: imx51 and CONFIG_NEON