Hmm.... I responded a while back: not sure what black hole that response went to.
Yes, I intentionally left out the Xenomai patches in order to see if I could even install a natively compiled Edison patched kernel. Which I can't for some reason.
I'm sort of leaning toward the problem being associated with the manual tweak necessary to get the compile to complete having to do with the mfd_trace header file not being found. Since the kernel is using the MFD device as it's console, if something is wrong there, I probably won't know about it.
I assume that this manual copy step is NOT required in the bitbake environment, but looking through the recipes I didn't see anything obvious that I'm missing on the kernel side.