Anyone running linux on either of these laptops? I just got one this morning, and I am about to load it up with linux, just wanted to know what problems folks ran into, if any. TIA, Denny