An hopefully simple question about acpi and debian kernel

[Riccardo Gusso]

Hello,
do the acpi patches from sourceforge work with kernel-source packages
from debian, or is it necessary to use kernel sources from kernel.org?
Bye,
             Riccardo