Binary package “kernel-image-3.16.0-9-generic-lpae-di” in ubuntu-rtm 14.09-factory
Linux kernel binary image for the Debian installer
This package contains the kernel image for the Debian installer
boot images. It does _not_ provide a usable kernel for your full
Debian system.