Merge pull request #1028 from vchong/bl32_optee_support_v2
authordavidcunado-arm <david.cunado@arm.com>
Fri, 14 Jul 2017 15:37:02 +0000 (16:37 +0100)
committerGitHub <noreply@github.com>
Fri, 14 Jul 2017 15:37:02 +0000 (16:37 +0100)
hikey: Add BL32 (OP-TEE) support v2


Trivial merge