[masklinn]

libreboot specifically points out to ME and PSP, and doesn't point any such thing for ARM.

A complication is that ARM only designs the ISA, implementors can very much add their own management system to the SoC.