Getting the two to interoperate eg cache invalidation would be hard without Intel cooperating I think. Running as independent systems but maybe sharing some pci devices might be easier. They would have to run two OS kernels anyway as mixing a dual architecture kernel would be hard.
The Mach kernel uses messaging as its core component, that is what it is built on. Messaging means it becomes easier to share state since it is all messages anyway.
