automatically guess the Debian-installer's kernel version

Change-Id: Id64197ce49bc7704e091533c85e83e6ae9d19875
Related-bug: #1383641
Merge "automatically guess the Debian-installer's kernel version"