Al X2.3b PRO le puedes meter la bios que quieras. Las bios son el sistema basico de entrada/salida. En funcion de cual tengas instalada, tienes ciertas capacidades, y se trata de un programa a bajo nivel que da las funcionalidades basicas al hardware hasta que un sistema operativo "mayor" toma el control.
Supongo que el aladdin tambien se puede programar con cualquier bios. Eso si, la diferencia de precio entre ambos es muy notable (casi el triple). El X2.3b PRO es el que yo me voy a comprar, pero no se lo recomendaria a alguien sin experiencia que no sabe muy bien lo que hace y para que vale todo.