I'm attempting to run an OP-TEE Trusted Application on the STM32MP157F-DK2 running OpenST Linux version stm32mp1-openstlinux-6.1-yocto-mickledore-mp1-v23.06.21. I've followed the guides here and here, but both end up producing the following error whe...