Bug#749991: debian-installer: Wrong kernel in debian-installer package

[Witold Baryluk]

Package: debian-installer
Followup-For: Bug #749991

I think I did hit the same issue with todays daily netinst CD images.

See https://bugs.debian.org/943685

Cheers,
Witold