PS: Regarding to the way how to build a kernel with Debian I recommend the Ubuntu Wikis. Regarding to issues with options when building a kernel for Debian or any other distro the Arch Wikis often are helpful.