What budget gaming laptops work well with Linux? I’ve seen stuff about Nvidia cards not working well with Linux, is that true?...