Solucionado, había que activar el origen del hdmi en el kernel. He vuelto a subir el mismo zip pero con el kernel arreglado.
Por otro lado, la app HDMI RK está casi terminada, pero aún le faltan un par de detalles relacionados con el tiempo de espera. En los próximos días iré actualizando el link de descarga, pero hasta que no esté terminada no es necesario que notifiquéis errores sobre la misma.