The reserved memory section uses the terms WIMG and VLE.
The WIMG is expanded a bit but VLE is not.
I presume these are PowerPC terms. (a quick google reinforces this assumption.)
Do these statements only apply to PPC or are we suppose to translate to Arm and RISC-V?
These terms should be in the "definition of terms" and an spec reference included.
If PPC terms, clarify how they should be handled for other architectures.