Merge pull request #767 from antonio-nino-diaz-arm/an/cache-flush
authordanh-arm <dan.handley@arm.com>
Thu, 8 Dec 2016 12:19:25 +0000 (12:19 +0000)
committerGitHub <noreply@github.com>
Thu, 8 Dec 2016 12:19:25 +0000 (12:19 +0000)
Optimize cache flush when authenticating images


Trivial merge