Si no me equivoco el xecuter viene con la bios del linux, por lo que tendras que cambiar la bios por la que tu quieras (te recomiendo la 4976.02 o la 4977 de xecuter).
Para cambiar la bios del xecuter hay varios hilos explicando como se hace, y si no me equivoco tambien te habran eviado con el chip instrucciones de como hacerlo.
Hasta luego.