Habe auch das EX38-DS4 Board. Ich konnte aber AHCI nicht anwählen, da bei dieser Einstellung die Platte im BIOS nicht erkannt wurde. Schon seltsam, diese unterschiedlichen Reaktionen.
Meine Platte geht jetzt aber zum Austausch zurück. SMART-Fehler. Vielleicht lag ja auch das...