Merge pull request #1114 from vchong/updt_docs
authordavidcunado-arm <david.cunado@arm.com>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
hikey*: Update docs


Trivial merge