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