If the argument is "nobody uses microkernels because performance", then I'm not sure that Intel Management Engine is really a counterargument. Does performance

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".