Comment 7 for bug 36991

If Ubuntu doesn't have debian kernel sources, this might be the only possible way. If you have debian kernel sources available, I think the simplest and fastest solution is to use the debian kernels.
Fai-kernels is a separate package from fai, and It's unlikely that the fai-kernels maintainer will have time and possibilities to test and patch fai-kernels to build from Ubuntu Kernel sources in a short timeframe.

Why do you think the Ubuntu kernel is needed?