Lenovo ThinkPad X61

Hardware configuration

 * Intel Core 2 Duo CPU T7250 (2.0GHz)
 * 4GB DDR2 667Mhz RAM (extended from 1GB)
 * 120GB SSD SATA2 (changed from HDD 100GB 7200rpm)
 * Intel Graphics Media Accelerator X3100 (Intel GM965)
 * 12.1" TFT display with 1024x768 resolution
 * Active Protection System (APS, not applicated for SSD)
 * Intel HD Audio
 * Intel Gigabit Ethernet 10/100/1000 PCI-Express
 * Atheros Wireless AR2425 Mini-PCI Express Adapter
 * ThinkPad 56K Modem (not used)
 * Trusted Computing Group TPM (not used)
 * SD Card slot
 * CardBus slot (PC Card Type 2, not tested)
 * Firewire 400 (IEEE1394a, not tested)
 * Broadcom Corp. BCM2045B (BDC-2) Bluetooth
 * Mono speaker and microphone
 * 4-cell battery with 2-3 hours life (model:42T4505, battery voltage:14.4V, power:38Wh, capacity:2600mAh, color:black, dimension:209.55x59.95x23.59mm, weight:228.3g)
 * Weight is ~1.6kg

Printout of lspci -nn:

Printout of lspci -kk:

Printout of lsusb (no external devices connected):

Printout of lsmod (builtin devices, no external devices connected):

Patching Linux kernel to get Atheros WIFI [168c:001c] LED works
cd /usr/src/linux

wget https://github.com/serge123/atheros-ar242x-ar542x-wifi-laptop-led-support/blob/master/ath5kled-patch

patch -p0 < ath5kled-patch

Kernel config
Example of kernel configuration: 

Updating BIOS to get SATA2 interface with increased speed
Official BIOS release has a limited SATA2 interface speed - 1.5 Gb/s. Modified BIOS with SATA2 3 Gb/s