pub const TEE_ATTR_X25519_PUBLIC_VALUE: u32 = 3489663300;