Thumb-2 kernel on imx