hello anon1,
it sounds like known issue, please try re-generate EKS image for verificaiton.
for instance,
please visit NVIDIA Jetson Linux 35.5.0 to download [Driver Package (BSP) Sources].
please extract atf_src.tbz2 and nvidia-jetson-optee-source.tbz2 packages.
you may follow ./optee/samples/hwkey-agent/host/tool/gen_ekb/example.sh to re-generate EKS image.
BTW,
you may see-also similar discussion thread, Topic 284400 for reference.