T series laptop for Linux- which model between T40 or T41?