This document has been moved to the Debian Installer Wiki. Please see: http://wiki.debian.org/DebianInstaller/Modify/CustomKernel