Hi,
You are posting on the Armbian forum.
The images you refer to are not Armbian images.
The people of Armbian don't like their forum be polluted with non-Armbian support request. I think that is quite understandable, don't you?
That being said, this answer is also true for Armbian tvbox, so maybe the answer is allowed:
All those tvboxes are different, even if they look the same or even have the same 'model name' from the outside.
Especially the wifi modules are a lottery. So you have to be lucky to get a standard supported wifi module. And otherwise you'll have to learn a lot, google a lot to get wifi working. That's the 'fun' of tinkering with those cheap boxes. If you want a working wifi and don't want to learn all that... you are better of buying a well supported SBC instead.
Some pointers that might be helpful:
decompile the dtb and look if the aml_wifi gpio's for power are the same gpios as in the DTB you use for mainline linux (sdio-pwrseq node)
sometimes it can help to lower the max-frequency property for the sdio node
run
( vendev=( $( cat /sys/bus/mmc/devices/mmc2:*/{vendor,device} ) ) && echo "wifi SDIO ID: ${vendev[0]}:${vendev[1]}" )
to get the driver vendor ID and device ID. If that doesn't work, previous two points are probably not ok. (Or wifi is not on SDIO bus, but is not very likely)
(alternatively) open the box, look for the wifi markings and search google for the linux driver source and compile that driver
Have fun!