Bom dia
rodrigoguimas, no site da Samsung você não encontrara o arquivo de atualização da BIOS, mas sim um programa que fara essa atualização nesse link:
http://www.samsung.com/br/support/model/NP-RV415-CD3BR-downloads?isManualDownload=true# ,
Acesse o menu firmware e faça o download do arquivo com a descrição Update Software, dentro do Windows execute o programa(o carregador deve estar conectado e bateria no mínimo em 30%),o programa reiniciara seu notebook quando voltar estará terminado.
Agora se você atualizou ele para o Windows 8.1, você precisara de outro HD de um notebook Samsung com Windows 8 para poder realizar a atualização.
OBS: Não se preocupe por o link não ser o do mesmo do modelo que o seu pois o programa roda em todas os note Samsung
Espero ter ajudado mais duvidas me contate