install-kernel-3.9.sh

#!/bin/bash
# this function will install kernel 3.9 in your Debian machine
# Note: This version is to machine of 32bits

kernel39 () {
# http://debianmaniaco.blogspot.com.br/2013/04/instalando-o-kernel-39-no-debian.html
[ -z "`grep 'deb http://linux-libre.fsfla.org/pub/linux-libre/freesh/ freesh main' /etc/apt/sources.list`" ] && echo 'deb http://linux-libre.fsfla.org/pub/linux-libre/freesh/ freesh main' >> /etc/apt/sources.list
wget http://linux-libre.fsfla.org/pub/linux-libre/freesh/archive-key.asc && sudo apt-key add archive-key.asc
sudo aptitude update
sudo aptitude install linux-libre32-3.9
} && kernel39