Merge pull request #1680 from pbatard/rpi3-runtime-uart
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Thu, 15 Nov 2018 15:36:12 +0000 (16:36 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Nov 2018 15:36:12 +0000 (16:36 +0100)
rpi3: add RPI3_RUNTIME_UART build option


Trivial merge