Problem gelöst
Ich habe eben in einem Forum den folgenden Link gefunden:
http://downloadcenter.intel.com/filter_results.aspx?..
Dort konnte ich einen Treiber für die AHCI (oder so) herunterladen, mit dem das Ganze dann funktioniert hat.
Danke für die Hilfe, Uwi!