You can get an minimal distro which boots straight into Kodi, such as OSMC or LibreELEC, and these distros can run even fine even on a Raspberry Pi. Definitely the better option IMO instead of getting Android TV.