O micro esta funcionando normalmente, mas verifiquei que existem atualizações da bios( entre outras), como fazer a atualização para o linux (ubuntu 8.04) ?