To support OP-TEE RPC, we need to revise OpteeMsgArgs to convey variable-length params. Since this is for C FFI, we might have to define a new OpteeMsgArgs data structure with a 0-length u8 array instead of params and convert it into the current OpteeMsgArgs.

#632