Re: OS for Thinkpad T42??