Não tenho certeza sobre o F.34 ou qualquer versão que você tenha, mas geralmente não há programas para atualizar o BIOS de qualquer Linux. Ainda ontem atualizei um BIOS. Eu tive que fazer uma chave DOS inicializável e colocar os programas para o flash e a nova versão na chave para fazer isso.