Me contesto a mí mismo. He probado con un vídeo 4K grabado con iPhone 6s, y va a saltos. El procesador se pone al 99% y la reproducción se entrecorta. No he configurado nada en particular, ¿se os ocurre alguna forma de optimizar o algun software en particular para probar si mejora?
Por otro lado, ¿podría ponerle una tarjeta gráfica que fuera capaz de decodificarlo el 4K o la única solución es cambiar de micro? La placa utilizada es la asrock am1h-itx.
Saludos