A resolução 4K virou um grande nome de marketing principalmente para TVs, que na verdade não tem realmente 4000 pixels de largura( no caso das TVs ), mas 3840.
A utilização dessa resolução outrora vista como impossível no Raspberry Pi, é realizável, mas com ressalvas.
Um usuário( Demodude123 ) no fórum oficial do Raspberry Pi atentou para essa possibilidade ao configurar manualmente o modo/resolução com a porta HDMI ligada à sua TV Seiki E50UY04.