Hi again,
just in case this is relevant,
my device has ThinOS_Lite 2.5_012
build name is T00D_xen
bios version 7.1_216
I did managed to “boot” some TXXD_xxx somehoow, but I messed it up thereafter 🙁
I will keep on trying, if managed to get to some advance, I will inform here for if someone would be interested, they would end up arriving here at some point 🙂