Bug#749991: Wrong kernel in debian-installer package

[Nye Liu]

The only apparent solution is to have the kernel maintainers coordinate 
with the d-i maintainers so that whatever kernel is used in d-i is NOT 
removed from the package repository and its mirrors.