Ok, por algum motivo, o arquivo .h apareceu novamente nas atualizações mais recentes do kernel:
/usr/src/linux-headers-3.11.0-17/include/linux/thinkpad_acpi.h
O problema com o arquivo de cabeçalho ausente foi com 3.11.0-13 ou 15, não me lembro exatamente. Parece que o problema foi corrigido posteriormente.