Does using linux on a gaming laptop significantly increase performance, and by how much?