Merge pull request #1525 from antonio-nino-diaz-arm/an/rpi3
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 17 Aug 2018 08:55:38 +0000 (09:55 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Aug 2018 08:55:38 +0000 (09:55 +0100)
rpi3: Remove dependencies on Arm platform code


Trivial merge