I have a vague idea the A20 gate was also used to defeat Intel SGX a couple years back, if I'm remembering correctly?