Hi, I am considering purchasing a Thinkpad T40 - I have seen that IBM sells models with Intel and IBM wifi cards. Have anyone setup Linux and made either the IBM or the Intel wifi adapter work correctly? are there drivers available for either wifi card? Thanks, Carlos-