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