Constant optee_utee_sys::TEE_ALG_HMAC_SHA512

pub const TEE_ALG_HMAC_SHA512: u32 = 0x30000006;