This section is talking about the disambiguation of terminology, so I suggest making it a sub-section of Section 2 Terminology.
Examples of these types of co-located environments include: a Trusted
Execution Environment (TEE), Baseboard Management Controllers (BMCs),
as well as other physical or logical protected/isolated/shielded
Computing Environments (e.g. embedded Secure Elements (eSE) or
Trusted Platform Modules (TPM)).
Based on https://mailarchive.ietf.org/arch/msg/rats/okJriJPpapmZgeOfjbVGVP57bQk/
This section is talking about the disambiguation of terminology, so I suggest making it a sub-section of Section 2 Terminology.