Also, in my experience of trying Android boxes first and ending up with a Mini-PC with Linux, the Android boxes which are cheaper than basic Mini-PCs like the one with an N100 that I have, are underpowered, and the one’s which aren’t underpowered cost about the same as the Mini-PC.

Further, you can install all manner of services running on the background on the Linux machine: mine works as TV Box with Kodi as the frontend that’s displayed on my TV, but it’s also working as my home NAS and runs a bittorrent server with a web interface on top of an always on VPN, all of which uses very little of its computing power. I manage the “linuxy” stuff remotely via web-interfaces and SSH whilst in the living room were it is I actually have a remote for it and use it just like a regular TV Box.

This in addition to as you pointed out the Android stuff being locked down and often bloated.

I really would advise people against an Android TV box, but if one really wants the lower consumption of those (they do consume half as much power as my Mini-PC, with TDPs around 8W or less to the Mini-PC’s 15W) best get an SBC and a box for it, and then install Libreelec on it or a full linux distro (often the manufacturers have a Linux distro for those and there’s always Armbian),