L'OCTAGON SF4008 UHD 4K 2160p Triple E2 Linux ora è introvabile, c'è poi Mut@nt ULTRA HD HD51 ed anche Zgemma H7 4K UHD Combo DVB-S2X/T2 di prossima commercializzazione. Dai un'occhiata su alibaba.com (dove si può acquistare ora solo un certo quantitativo), aspetterei quest'ultimo.
La CCcam "pura" non ci gira in nessun decoder 4K, tutti sono con processore ARM V7, si deve usare OScam con apposito reader con protocollo CCcam dentro la stessa oscam, per kodi non ti so dire, come altri plugin potrebbero non girarci.

Parere personale: non so quanto convenga ora acquistare un 4k dato che non ci sono trasmissioni televisive salvo sporadici eventi, da considerare anche l'ipotesi che quando inizieranno le trasmissioni nei prossimi anni (2020?) lo standard attuale di compressione e risoluzione in bit potrebbe essere obsoleto.
Per non parlare dell'8K che le grandi marche ci stanno già lavorando.