Patched thinkpad_acpi for Debian