Criei um pendrive bootável para reinstalação do linux educacional 5 em uma máquina do pregão 23/2012, mas o setup ou BIOS não reconhece o pendrive. O setup ou BIOS oferece suporte a pendrives de fabricantes específicos? Alguém já passou por uma situação parecida? Exite alguma configuração da BIOS ou qualquer outro procedimento que possa ser realizado para resolver o problema?