Quote Originally Posted by kernelOfTruth View Post
I moved on to a Lenovo Thinkpad T530 - there you have the option to disable the nvidia graphics card in the bios [...]
afaik the 8470p was offered at ubook here in Vienna (the edition only with the HD4000 GPU - without dedicated extra nvidia GPU) for students so that should work fine under Linux
Thank you @kernelOfTruth, I am also wondering if I should choose another model (Dell E5630) with Intel GPU for simplicity, and do not bother with possible GPU issues.