Good news everyone! I found it that the problem is that the SATA controller, which is not in AHCI mode. Adding setpci -d 8086:2828 90.b=40 in grub.cfg resolves the problem. for further information look at https://wiki.archlinux.org/index.php/Solid_State_Drives Michael