Doctor Duende, para que te salga el nombre de la bios lo tienes que tener configurado en el apartado bios del evox.ini, no me preguntes como porque yo ni me he molestado, pero si te aparece xecuter2 en la intro, el las bios xecuter2, y la version de ella te lo dice en la linea de mas abajo en KERNEL VERSION, en el menu settings, por ejemplo, si te pone KERNEL VERSION 1.00.4976.02, es la ultima version, la 4976.2, si en lugar tepone 1.00.4974.01 es la 4974, y asi sucesivamente, con las versiones de xcuter2.Yo tengo el aladdin2 con la ultima version ya que lo actualice yo mismo desde la opcion flash bios del evox, y funciona bastante bien.