[seL4] Re: Proposed future Core Platform extension: hosting other seL4-native OSs