flash-kernel_3.7_armhf.deb has incorrect size; deleting it flash-kernel-installer_3.7_armhf.udeb has incorrect size; deleting it Greetings, Your Debian queue daemon (running on host franck.debian.org)