¿Cómo puedo establecer una resolución de pantalla personalizada para mi Android TV Box?

Estoy tratando de usar un Android TV box nuevo con un viejo proyector. Los dispositivos en cuestión son un reproductor multimedia Android M8 y un proyector Optoma EP719.

https://www.amazon.ca/gp/product/B00KNL4GLK http://www.projectorcentral.com/Optoma-EP719.htm

El reproductor multimedia se conecta al proyector mediante un adaptador de HDMI a DVI. El reproductor multimedia está rooteado y tengo acceso adb a él a través de la red. Está ejecutando Android 4.4.

El problema que tengo es el siguiente:

Parte de la imagen se repite en el lado derecho. Esto no aparece en las capturas de pantalla. Creo que esto se debe a la relación de aspecto 16:9 de la resolución. Técnicamente esta resolución debería funcionar, pero en cualquier caso mi solución preferida (y espero que la más fácil) es poner la resolución a 1280x1024. Sé que esto ya funciona con mi raspberry pi, aunque tengo una distorsión similar cuando intento ponerla en resolución 720p.

El problema es que no puedo ajustar la resolución a este valor. Puedo seleccionar las resoluciones yendo a Configuración > Pantalla, desactivando la detección automática de HDMI y eligiendo de una lista de resoluciones HDMI, pero no aparecen ni 1280x1024 ni ninguna otra resolución comúnmente disponible para monitores pero no para televisores. Puedo elegir, por ejemplo, 480p, 720p y 1080i, todas ellas debe funcionan con este proyector, pero todos causan algún tipo de distorsión (normalmente estirando un lado de la pantalla en lugar de duplicarlo).

He tratado de establecer manualmente la resolución con algunas aplicaciones diferentes y a través de la CLI con wm size como en la pregunta relacionada Cambiar la resolución de la pantalla a 1024x768 en el Samsung Galaxy S3 . Esto hace que la pantalla se vuelva mucho más pequeña de lo que debería, ocupando sólo una pequeña parte de la pantalla (por ejemplo, el cuarto superior izquierdo).

También he probado setprop hw.hdmi.resolution 133 (siendo 133 el código para la resolución de 1280x1024, creo) y luego desconectando y volviendo a conectar el adaptador como se sugiere en la otra pregunta relacionada ¿Cómo cambiar la resolución de la pantalla externa? . Eso tampoco funcionó.

¿Es esto posible y, si es así, cómo puedo hacerlo? También sería aceptable conseguir que el proyector maneje una resolución de 1280x720, pero no estoy seguro de si eso es un problema del lado del proyector o del lado del dispositivo.

EDIT: He probado a flashear el reproductor multimedia con una imagen de OpenELEC. El mismo problema ocurrió incluso con el cambiador de resolución de Kodi. Por alguna razón, insiste en detectar el dispositivo como 16:9 a pesar de que se reporta como 4:3.