I'm shopping for a desktop-replacement-grade laptop. The Samsung RF711- S02 (Intel i7/4G DDR3 /750 GB / 17") looks like it might be a good fit. BUT, can't find any info on Linux-compatibility. Anyone have data on that? Thanks.