C'est un bios qui remplace le bios d'origine. Au début, c'était pour les clusters où ils ont besoin de booter rapidement(ils disent que linux est pres a fonctionnner 3s apres l'allumage) mais maintenant, c'est utilisable par tous ceux qui ont un chipset compatible.
Je te conseillerais de t'abonner a une de leurs mailing list(elles sont certainement toutes en anglais malheureusement) pour savoir si ça résoudrait ton probleme. Je n'ai jamais essayé, mais c'est le seul moyen que je connais pour avoir un bios different de celui du constructeur.
---------------
Boulay officiel : asphro