I think it's because they never really were able to support concurrency. It makes a lot of sense that they lost, even just given that, actually
Also check out this graph I found in a 2024 presentation about proving sel4's correctness in multicore systems 😂