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





--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 27295.145.118.88.112.1318162585.squirrel@lavabit.c om">http://lists.debian.org/27295.145.118.88.112.1318162585.squirrel@lavabit.c om