You can also build the kernel from source. Here's my usual procedure.
If you don't have the build requirements: sudo apt-get install build-essential ncurses5wget http://www.linux-libre.fsfla.org/pub/linux-libre/releases/LATEST-3.4.N/linux-libre-3.4-gnu.tar.xz
tar xf linux-libre-3.4-gnu.tar.xz cd linux-3.4 make menuconfig (to edit and save the kernel .config file) INSTALL_MOD_STRIP=1 make deb-pkg (this can take a few hours) cd .. sudo dpkg -i linux-*.deb
