Thinkpad kernel config.