Merge pull request #1746 from JoelHutton/jh/hikey
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Tue, 15 Jan 2019 09:53:09 +0000 (09:53 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Tue, 15 Jan 2019 09:53:42 +0000 (09:53 +0000)
Jh/hikey


Trivial merge