Just wondering if anyone has had any success with running the Debian linux kernel on a Dell Precision 380? (or any other Dell Precision on the market, I have just purchased a Precision 380 and I am wondering whether I should have gone for a different model).