Hallo Dirk,
zunächst vielen Dank für den Tipp, den zweiten Registry-Eintrag hatte ich noch nicht entsprechend geändert.
Leider hat es aber trotzdem nicht geholfen, beim Booten mit aktiviertem AHCI im BIOS passiert das gleiche wie vorher, mit RAID klappt es.
Viele Grüße,
Kurt