Have you considered an R-Pi. Low Cost and has both wired and HDMI. Still small enough to mount on the TV. I have not looked deeply into the HDMI micro-computers, but it seems you may have trouble finding wired ethernet.