Dank Mornsgrans habe ich mal einen Link im Thinkwiki eingefügt, der auf einen funktionierenden Kernel für R31/i830-basierte Thinkpads verweist. Das ganze ist ein von den Intel-Developern gepatchter 3.15.0+rc2 Kernel, bei dem die i830-Graphik (endlich) korrekt funktioniert, getestet auf dem R31 und einem Fujitsu S6010, welches ebenso mit i830-Graphik daherkommt. Das .deb-Archiv beinhaltet einen speziell für das R31 aufbereiteten Kernel, der auch ohne initrd funktioniert und nur die nötigsten Komponenten beinhaltet. Alle anderen finden die Kernel-Quellen zum Selbstcompilieren verlinkt. Achtung, bei anderen Modellen muss man die Custom-DSDT aus dem Kernel wieder *entfernen*, diese ist *nur* für das R31 gedacht. Der entsprechende Parameter findet sich unter "ACPI".