Re: [Devel] Advice for in-kernel acpi patching