Anyone have experiences installing linux on this laptop? Also, any sources of information you can link to would be great. Thanks.