Binary package “kernel-image-3.13.0-141-powerpc-e500-di” in ubuntu trusty

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.