2013-12-20, 21:57
Here are new images with the fix from above. Btw. I talked with christian, that code is only used when memory is nearly full, so should not change anything:
Code:
wget https://dl.dropboxusercontent.com/u/55728161/linux-image-3.13.0-rc3-drm-fixes20%2B_0.1_amd64.deb https://dl.dropboxusercontent.com/u/55728161/linux-headers-3.13.0-rc3-drm-fixes20%2B_0.1_amd64.deb
sudo dpkg -i *fixes20*deb