Commit the linux kernel images and the kernel config file used for generating these images
off Ubuntu-3.8.0-29.42 (git clone kernel.ubuntu.com/raring)