La siguiente generación de Raspberry no llegará antes de primavera y no es seguro que soporte 4K.
Ni falta que hace. Antes tiene que solucionar otros problemas como chip independiente de red no compartido con los USB, y que éste sea Gigabit, por ejemplo. O profundidad de color 32 bits :-)
TV LG OLED 65CX6LA + Bluray Sony 4K HDR UBP-X800M2 + Raspberry Pi 4 128Gb SD with OC 128Gb USB with KODI + AVR Yamaha RX-A4A + Q-Acoustics 3050 (cable NorStone CL-250) + Q-Acoustics 3090C + Subwoofer Klipsch R-10SW (KabelDirekt PRO Series 1>2 RCA Y)