Domanda da niubbo: deb patch acpi

[Riccardo Gusso]

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