Constant sgx_types::SGX_XFRM_AVX512

pub const SGX_XFRM_AVX512: uint64_t = 0x0000_0000_0000_00E6;