Corregidme si me equivoco, pero el AVC (H264) es un codec que se suele utilizar hasta 1080p (eso no quiere decir que no se pueda utilizar en resoluciones mas altas). El problema es que para 4k se utiliza HEVC (H.265) que es mas eficiente.

Tened en cuenta que 4k contiene 4 veces mas información que FullHD. Si no se usa un codec adecuado, es posible que la decodificacion se atasque (imaginad una peli FullHD codificada en DivX, los requisitos para reproducirlo serían infintamente mayores que si se codifica con AVC (H264).

De hecho, en la web de estos dispositivos pone claramente:
Additionally, ZIDOO X9S supports decoding of 4k@60P HEVC(H.265)10bit and output of 10bit
Ya os comento que esto es lo normal cuando se usa 4k (no es que sea una restriccion específica del Zidoo).