Kodi sviluppa solo codice 100% standard con le API android, e ha eliminato tutto il codice custom (per amlogic) quindi gira bene su Shield TV e probabilmente sui box prossimi venturi.
Lo sviluppatore di spmc (ex mantainer Kodi android), si è comprato lo Shield TV, e sviluppa solo per quello.
Un altro box che va alla grande è il Mi Box Mini (occhio a pescare l'international version, che è Android TV ufficiale), questo è semplicissimo, economico, user friendly e ben supportato sia da Kodi che spmc.
Da quel che ricordo non cambia il frame rate, ma ha un algoritmo di motion compensation che non ne fa sentire la mancanza.
Recensione Mi box mini - aggiornata ad ogni update SW
Quindi il mio consiglio è uno di questi due.
Se sei coraggioso, i Wetek sono ben supportati (tra l'altro i più recenti hanno anche una rom custom Android TV, con supporto al cast).
Minix è tagliata fuori, in quanto non offre alcun prodotto con supporto ai DRM (no Netflix HD p.es.).
I cinesi generici manco li considero più, IMHO se non hanno DRM possono starsene in fabbrica.