A mi si me sale la opcion de grabar a 4k, aunque no lo pone asi, pone 3840x2160.
No he grabado apenas en esta resolucion pero las pocas veces que lo he hecho se veia bien, nada del otro mundo, el movil es del 2013, demasiado que deja grabar a esa res.