Madre mía, cuánto tiempo del post, estuve en el hospital y ahora me lo encuentro. Siento el retardo.
Primero, flasheé con las utilidades que lleva el ZXBInstaller, la verdad es que no recuerdo que programa usaba pero funcionaba. Para ello, en su carpeta de BIOS posibles para meterle, metí la última EVOXM8 modificada con un programa de tools para dicha BIOS.
Las mejoras fueron:
Poder poner el logo de arranque del color deseado junto a alguna imagen que quieras.
Poder formatear mi disco duro de 250 Gb reconociendo todo el espacio.
Elegir el color del LED.
Capacidad para resetear la consola con el mando.
Etcétera.
Espero haberlos ayudado y recordad que debeis mirar la versión de vuestro Aladdin. Los primeros creo que cascaban al intentar flaseharlos. Llevad cuidado.