Explain why we set HCR.TGE bit

Change-Id: Id55a62e8610f0b162a26a0eeb8f69e4a87910ed7
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
2 files changed