Ach und noch etwas.
Ich würde Dir aus resourcentechnischer Hinsicht abraten, die Shield internen Standardeinstellungen, was die Auflösung und Bildfrequenz angeht auf die empfohlenen Werte zu belassen, wenn Du nicht in den USA wohnst.
Ich empfehle auf 1080p und 50 Hz zu fahren. Kodi hat keine 4K GUI und die meisten Mediatheken und deren Inhalte auch nicht. Und für die Umschaltung dann sind die von mir oben genannten Punkte vonnöten.