/usr/src/linux/arch/i386/boot/install.sh. exec "${file}" "${KERNELRELEASE}" "${KBUILD_IMAGE}" System.map "${INSTALL_PATH}"
/sbin/installkernel, it's possible to call make install from a generic kernel source tree and the image will be installed to the proper place for Debian GNU/Linux. /sbin/installkernel is mentioned in the Linux kernel source Makefile. Is it invoked by calling make install in the Linux kernel source tree?