echo "kernel=linux-3.9.y" >>
 /boot/config.txt