Sounds challenging.

However, if the kernel sources are available and are made to work with the ABI of the module binary, wouldn't it be possible to transplant the portion of the kernel responsible for the SGX into a fresh kernel tree? I suspect that the interface would be the only difference as the module would contain the necessary graphics code.

I can see this being a problem if the module is somehow compiled differently, and would require that the Android module receive special treatment from more traditional builds.