On Tue, 12 Feb 2008 00:22:06 -0200 Henrique de Moraes Holschuh <hmh@hmh.eng.br> wrote: > Try linux-acpi, instead. He might have posted them only to > linux-acpi. Thanks, found it there. For reference for anyone else, the patches are also on the kernel bugzilla[1]. [1] http://bugzilla.kernel.org/show_bug.cgi?id=2884 -- Mike Kelly