I got bored in my lunch hour so this image has a device-tree for tx9-pro which uses the IR remote from tx3-mini .. if you have the larger Tanix remote with numbers on it those won't work and you'll need to capture the key codes for me. I've also added something for the clock on the front, which might work if it's the same type as the TX3-mini box. If not the same, it might show nothing or garbage.
https://chewitt.libreelec.tv/testing/LibreELEC-AMLGX.arm-10.95.1-box.img.gz
Again, run "pastekodi" and share the URL so I can see the boot log.