Also, further thoughts on this, an example would be the Pine64 series of Boards. They're open source, they've got reverse-engineered drivers coming slowly, they've got Android support already. Basically just take their board, wire the HDMI connector and instead wire that into the TV controller, and you've already got stock Android as long as you can get CEC over HDMI working (for the remote).