I need to use optee api provide by edk2 in applications, but it seems like no any suitable way. How can I use optee in UEFI applications?