[Tee-dev] Need help in understanding OP-TEE boot flow on ARMv7.