Output of dpkg -i linux-image-3.9.0-030900-generic_3.9.0-030900.201304291257_i386.deb