[TF-A] atf-a with optee-os for firefly-rk3399