If the argument is "nobody uses microkernels because performance", then I'm not sure that Intel Management Engine is really a counterargument. Does performance actually matter for Intel Management Engine? Isn't it pretty low-bandwidth?
So maybe the statement should be "nobody uses microkernels in situations where people might actually care about performance".
So maybe the statement should be "nobody uses microkernels in situations where people might actually care about performance".