Seriously, one question: your kernel is i386, as you said before, since it's based on anterior patched kernels (AndyVand, Bronzovka) that are all i386. But the original vanilla kernel - correct me if i'm wrong, please, here i'm way beyond my field of knowledge - is x64_86, right?, and those i386 patched kernels are all based in this single x64_86, is that correct?

So why is not possible to build a AMD_64 kernel based on x64_86? Why the patched ones seemingly have to be 32-bit? Or did Apple release a dumbed-down kernel as open source? Thank you in advance.