The balance of likelihood is they do on both Intel and AMD management engines as that's what any competent agency should do in this age. To my mind, there's no other real reason for the explosion of interest in ARM chips on server. ARM design is sufficiently well understood and simple that usable chips can be designed and fabbed away from the control of US companies even if it provides poor performance trade offs.