Comment 5 for bug 36991

Sorry, forgot to say: fai-kernels are made from debian kernel sources. As Reinhard already said, these Kernels are not for installation in running systems, actually, if you install the package fai-kernels, what you get is having 2 Kernel packages in /usr/lib/fai/kernels/ which only get installed in the FAI nfsroot, the system that runs on a client as nfs mounted root installation system.