Fix is_thinkpad().