Merge pull request #1329 from antonio-nino-diaz-arm/an/rpi3-multi-console
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 29 Mar 2018 09:04:06 +0000 (10:04 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Mar 2018 09:04:06 +0000 (10:04 +0100)
rpi3: Migrate to the multi console API


Trivial merge