Linux kernel source tree with patched thinkpad-acpi