It's not about fad. It's about providing unikernel technology to the mainstream development world where it's actually needed. Mirageos is not going to drive uptake of ocaml in any big way. It makes more sense to give the people the tools they need to get the job done, like some less arcane language than ocaml. As you point out, it's had 30 years to catch on but hasn't.