[Tee-dev] Help me in understanding OP-TEE boot flow on ARMv7