Muchos chips vienen de serie con una bios basada en linux que no te permite mas que reflashearla por otra, esto se hace por motivos legales.
De todas formas ya te digo que tambien se encuentran chips que vienen ya con bios 100% funcionales preinstaladas.
Tanto alladin como DuoX tienen estos modelos.
Fijate en la descripción antes de comprar nada mas.