Any references to which ThinkPad models have this sensor?