Wenn du F6 drückst, sollte normalerweise nicht das Menü kommen, welche HAL er laden soll, sondern er sollte dich nach einer Weile nach dem Treiber für den Controller fragen. Er fragt dabei aber NUR das Diskettenlaufwerk ab!
Also an deiner Stelle würde ich erst mal ein BIOS-Update probieren und wenn das Board dann noch immer nicht funktioniert, oder es kein neueres BIOS gibt, dann das Board umtauschen. Wobei ein BIOS-Update natürlich auch immer ein Risiko ist. Bei mir hat es bisher aber jedes mal funktioniert.
Vom BIOS hängt viel ab und es kann sehr gut sein, dass das Board danach ohne Probleme funktioniert. Genauso kann es aber auch sein, dass es danach schlechter läuft. Also vorm updaten auf jeden Fall das alte BIOS sichern.
Alternativ kannst du das Board auch einfach mal umtauschen gehen und schauen, was das Umtauschboard dann für ein BIOs drauf hat, bzw. ob das richtig läuft.
Oder halt als dritte Möglichkeit, im Geschäft ein BIOS-Update machen lassen (kostet normalerweise so ca. 10€). Falls dann was schief läuft beim updaten, müssen die dafür sorgen, dass du ein Ersatzboard bekommst.