In debian-laptop ho trovato un link ad una patch relativa all'acpi
pacchettizzata a questo link http://people.debian.org/~baruch/deb/
Tuttavia non vi e' alcuna documentazione su come installarla: basta soltanto
installare il pacchetto e ricompilare il kernel o c'e' qualcos'altro da fare?
Bye,
Riccardo