correct machine selection in imx6_ar6mxcs_android_defconfig