Moim zdaniem trudno ocenić winnego bo.
Jest różnica między aktualizacją BIOS a programowaniem "kości" od nowa.
Innymi słowy laptop znalazł się w serwisie z jakiejś przyczyny.
Z tekstu wynika że znalazł się z powodu uszkodzonego BIOS.
Pytanie sam się uszkodził?
Następna sprawa nie wiemy czy ten uszkodzony BIOS był możliwy do odczytania w serwisie.
Innymi słowy,albo się pospieszyli,zagapili zwał jak zwał i "wgrali nowy" albo nie potrafili z uszkodzonego nic odczytać.
W tej sytuacji proponuję prosić o pomoc producenta laptopa i oraz serwisantów.
Laptop ma numery seryjne oraz inne identyfikatory po których można ten klucz zapewne odzyskać w firmie Samsung.
Poszukaj w dokumentacji do laptopa(może jest gdzieś ukryty)
Niestety nie wiem czy nie będzie to "droga przez mękę" i czy jest to możliwe.
Masz też wyjście(jeśli nie uda Cię się z odzyskaniem klucza,ale próbuj,walcz o niego)
Tym wyjściem jest Linuks.
Ideałem by było,gdyby ktoś z identycznym problemem się wypowiedział a najlepiej jakiś przedstawiciel Samsunga,który by potrafił i chciał wyjaśnić jak rozwiązać taki problem.
Tymczasem trzeba "googlować" ;)