automatically guess the Debian-installer's kernel version

Change-Id: I439eac0a3c45406d8b0340171d896ab6fc8f6404