Constant optee_utee_sys::TEE_ALG_SHA512

pub const TEE_ALG_SHA512: u32 = 0x50000006;