"dmesg | grep -i thinkpad_acpi" gives me:
[ 15.860889] thinkpad_acpi: ThinkPad ACPI Extras v0.24 [ 15.860892] thinkpad_acpi: http://ibm-acpi.sf.net/ [ 15.860895] thinkpad_acpi: ThinkPad BIOS 6JET79WW (1.37 ), EC 6JHT61WW-1.181000 [ 15.860897] thinkpad_acpi: Lenovo ThinkPad SL510, model 28477MG [ 15.870521] thinkpad_acpi: detected a 8-level brightness capable ThinkPad [ 15.880055] thinkpad_acpi: radio switch found; radios are enabled [ 15.880105] thinkpad_acpi: possible tablet mode switch found; ThinkPad in laptop mode [ 15.882471] thinkpad_acpi: asked for hotkey mask 0x078dffff, but firmware forced it to 0x008dffff [ 15.911897] thinkpad_acpi: rfkill switch tpacpi_bluetooth_sw: radio is unblocked [ 15.948747] thinkpad_acpi: Console audio control enabled, mode: monitor (read only) [ 15.954317] input: ThinkPad Extra Buttons as /devices/platform/thinkpad_acpi/input/input7
"dmesg | grep -i thinkpad_acpi" gives me:
[ 15.860889] thinkpad_acpi: ThinkPad ACPI Extras v0.24 ibm-acpi. sf.net/ bluetooth_ sw: radio is unblocked platform/ thinkpad_ acpi/input/ input7
[ 15.860892] thinkpad_acpi: http://
[ 15.860895] thinkpad_acpi: ThinkPad BIOS 6JET79WW (1.37 ), EC 6JHT61WW-1.181000
[ 15.860897] thinkpad_acpi: Lenovo ThinkPad SL510, model 28477MG
[ 15.870521] thinkpad_acpi: detected a 8-level brightness capable ThinkPad
[ 15.880055] thinkpad_acpi: radio switch found; radios are enabled
[ 15.880105] thinkpad_acpi: possible tablet mode switch found; ThinkPad in laptop mode
[ 15.882471] thinkpad_acpi: asked for hotkey mask 0x078dffff, but firmware forced it to 0x008dffff
[ 15.911897] thinkpad_acpi: rfkill switch tpacpi_
[ 15.948747] thinkpad_acpi: Console audio control enabled, mode: monitor (read only)
[ 15.954317] input: ThinkPad Extra Buttons as /devices/