Comment 25 for bug 754458

BootDmesg

[ 3.958404] IBM TrackPoint firmware: 0x0e, buttons: 3/3
input: TPPS/2 IBM TrackPoint as /devices/platform/i8042/serio1/input/input5

CurrentDmesg
[ 18.108184] input: Logitech Logitech USB Keyboard as /devices/pci0000:00/0000:00:1d.0/usb6/6-1/6-1:1.0/input/input12
[ 18.108300] generic-usb 0003:046D:C315.0002: input,hidraw1: USB HID v1.10 Keyboard [Logitech Logitech USB Keyboard] on usb-0000:00:1d.0-1/input0

Kern.log
Apr 11 13:24:45 ernst-laptop kernel: [ 3.670787] thinkpad_acpi: ThinkPad ACPI Extras v0.24
Apr 11 13:24:45 ernst-laptop kernel: [ 3.670790] thinkpad_acpi: http://ibm-acpi.sf.net/
Apr 11 13:24:45 ernst-laptop kernel: [ 3.670793] thinkpad_acpi: ThinkPad BIOS 6DET61WW (3.11 ), EC 7XHT24WW-1.06
Apr 11 13:24:45 ernst-laptop kernel: [ 3.670795] thinkpad_acpi: Lenovo ThinkPad X200s, model 7470F76
Apr 11 13:24:45 ernst-laptop kernel: [ 3.705589] thinkpad_acpi: detected a 8-level brightness capable ThinkPad
Apr 11 13:24:45 ernst-laptop kernel: [ 3.706058] thinkpad_acpi: radio switch found; radios are enabled
Apr 11 13:24:45 ernst-laptop kernel: [ 3.719897] ieee80211 phy0: Selected rate control algorithm 'iwl-agn-rs'
Apr 11 13:24:45 ernst-laptop kernel: [ 3.727998] thinkpad_acpi: rfkill switch tpacpi_bluetooth_sw: radio is unblocked
Apr 11 13:24:45 ernst-laptop kernel: [ 3.735486] Registered led device: tpacpi::thinklight
Apr 11 13:24:45 ernst-laptop kernel: [ 3.736023] Registered led device: tpacpi::power
Apr 11 13:24:45 ernst-laptop kernel: [ 3.736653] Registered led device: tpacpi::standby
Apr 11 13:24:45 ernst-laptop kernel: [ 3.737313] Registered led device: tpacpi::thinkvantage
Apr 11 13:24:45 ernst-laptop kernel: [ 3.748259] thinkpad_acpi: Standard ACPI backlight interface available, not loading native one.
Apr 11 13:24:45 ernst-laptop kernel: [ 3.749607] thinkpad_acpi: Console audio control enabled, mode: monitor (read only)
Apr 11 13:24:45 ernst-laptop kernel: [ 3.762424] input: ThinkPad Extra Buttons as /devices/platform/thinkpad_acpi/input/input4