Merge pull request #1414 from antonio-nino-diaz-arm/an/fix-rpi3-doc
authorDimitris Papastamos <[email protected]>
Thu, 14 Jun 2018 13:40:24 +0000 (14:40 +0100)
committerGitHub <[email protected]>
Thu, 14 Jun 2018 13:40:24 +0000 (14:40 +0100)
rpi3: Fix kernel boot documentation


Trivial merge