#add debian kernel repository
wget -q -O - http://kernel-archive.buildserver.net/key | apt-key add -
echo "deb http://kernel-archive.buildserver.net/debian-kernel sid main" >> /etc/apt/sources.list