Yes there is, The one I'm pretty sure about is to install the nvidia driver from the repository and add debian sid repository
in order to upgrade the driver to a version that supportsdeb http://http.us.debian.org/debian/ sid main non-free contrib
CUDA 6.5 and then remove the repo from source.list .
I'm not sure if the proprietary driver form nvidia website which is posted in the first page of this thread, breaks the Intel. It did break mine a while ago and I fixed it with the repo driver . and never tried it again, as
everything is working fine now .