About to order a T42p. I see three wireless options and am wondering which work with linux. 1) Cisco 2) Intel 3) IBM Thanks. DS