Thanks for your reply. I have tried installing debian-sources with "-binary" USE and installing with genkernel, and it has worked so far. Thanks for your suggestion, in case of "disaster" I'll do that. I'm new to Funtoo and I'm still figuring out the directories, etc. of the kernel and such, as I'm not used to having this degree of low-level control.
In case debian-sources isn't still able to install the kernel, should I report it as a bug, or is it most likely an error on my side?