Das Aktivieren der folgenden Optionen (zur Konfiguration der Kernel-Optionen durch Drücken F6auf den Startbildschirm bereitgestellt ) hat mir geholfen:
acpi=off noapic nolapic edd=on nodmraid nomodeset
Und heute habe ich erfolgreich Trisquel GNU / Linux 7.0 installiert