Comment by ryan-ca

I think AVX is actually power gated when unused.