Dann befürchte ich fast, dass der Kernel zu alt ist, und die Hardware nicht erkennt. Probier es mal direkt auf der Konsole. Wenn es dann nicht geht, wird es problematisch. Ich weiß jetzt nicht, welchen Kernel Debian da verwendet. Theoretisch sollte für diesen Chip auch sata_ahci funktionieren. Wenn der Kernel diesen Treiber schon dabei hat, probier es mal damit.