Merge "rpi3: Add "rpi" platform directory" into integration
authorSandrine Bailleux <sandrine.bailleux@arm.com>
Mon, 16 Sep 2019 12:14:18 +0000 (12:14 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Mon, 16 Sep 2019 12:14:18 +0000 (12:14 +0000)

Trivial merge