To help others, here is the solution to my problem: I downloaded some firmware versions available here (https://xdaforums.com/t/help-with-a-s805x-box-official-firmware-update-borked-it.4646963/post-89791881) and used Android's Recovery mode to return the version. I clicked on "Apply update from" and used the .zip file for this. With this, the restart loop problems were resolved and now I can run Armbian directly from the pendrive. I'm trying to install it directly on the eMMC and I hope it works, I'll come back here with news.

Hi, this board isn't supported, hence no images available.

Basically I'm confused I want to download. I need someone's help on this. I looked up the download multiple times and I still have not found it.

Orangepi4pro is pure shit. A lot of marketing and no support at all. No driver to install nvme, I ruined the SPI trying to install Assist, and now I have a unuseful expensive brick.

Yes. I just came to armbian-config and there I select en_US as default, but it does not change Mate to en_US. It change are only on cli.