Bug#749991: Wrong kernel in debian-installer package
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.
Reply to: