The kernel can be found at: /boot/ppc32 You will also need the modules and initrd to actually use this kernel. It's really not recommended as it's configured to get the most machines booting, not take advantage of any of your hardware. It would be better to simply install the kernel source and use "make defconfig" to achieve largely the same results.
-Joe
