Binary package “kernel-image-2.6.31-800-st1-5-di” in ubuntu precise
Linux kernel binary image for the Debian installer
This package contains the Linux kernel image for the Debian installer
boot images. It does _not_ provide a usable kernel for your full
Debian system.