Da quello che dite ho l'impressione che lo Sky Stream abbia limiti hardware dovuti a poca RAM o a scarsa potenza di calcolo del processore. Di solito gli scatti con i video 4K, i rallentamenti nella navigazione dei menu e gli imballamenti o i blocchi software sono dovuti ad un hardware sottodimensionato.
Certo, magari una maggiore ottimizzazione del sistema operativo potrà risolvere o migliorare le prestazioni, ma se l'hardware è troppo scarso nessun aggiornamento potrà mai migliorare le cose. Comunque è strano che accada questo perché parliamo di un decoder relativamente nuovo nato apposta per lo streaming e per il 4K, quindi si presume con una dotazione hardware adeguata.