Do people have a preferred, recent Thinkpad model they know works well with Linux?