Hello Vladzouth,
The TX6S-8035 board is supported by Ka-Ro Electronics so I would recommend looking for support on their BSP directly with them. Before doing so I would recommend making a cleanall and trying again just in case there was a problem on the first bitbake.
Regards,