x86_64_defconfig from 3.10.88 and config-3.10.0-1-generic from linux-image-3.10.0-1-generic_3.10.0-1.8_amd64.deb