Prípadne pre zavádzanie OS skús bootrec / príkazy hoď z nápovedy myslím že rebuildbcd. Do zložiek prechádzaš cez "cd" príkaz, a myslím, že by sa tie súbory mali nachádzať v system32 zložke alebo priamo na C.. google

Keď nebudeš stále ako tak nabootuj linux a jednoducho to nakopíruj. Niekedy sa môže stať, že sa názvy oddielov nezhodujú, ten hall.dll si môžeš prípadne stiahnuť aj z netu ak ho nemáš v OS ins.