[fritsch]

Before filing, you can of course try:

Code:

mkdir kernel-drm
cd kernel-drm
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/drm-intel-nightly/current/linux-headers-4.2.0-994-generic_4.2.0-994.201507170159_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/drm-intel-nightly/current/linux-headers-4.2.0-994_4.2.0-994.201507170159_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/drm-intel-nightly/current/linux-image-4.2.0-994-generic_4.2.0-994.201507170159_amd64.deb
sudo dpkg -i *deb

Have fun.