But those are not Linux kernels and have very different memory model, hardware access, and so on and so on.

But I don't think this is a technical conversation anymore, you have some other problems to address and it is best you do that.