/ hardware / thinkpad / g40