I have also seen some satellite receivers with Android built in but the ones I've seen tend to be a bit slow & clunky.
If you don't mind spending a bit more you can now get an HDMI modulator for a hundred & odd quid, full HD down a co-ax. But the receiving TV needs to have a DVB T2 tuner (i.e full HD not just "HD-Ready") to receive. I've fitted those in a couple of bars too, with positive comments from owners & punters.