Does anyone have any success or horror stories about installing Linux on an HP Pavilion? I'm looking at buying an HP Pavilion 6640C.