Enabling Thumb-2 kernel for imx51