#842719 debian-installer: use Built-Using from kernel-image udebs to get linux version?