Thumb-2 kernel on imx51/efikamx