[Tee-dev] Query regarding OP-TEE boot flow on ARMv7.