Merge pull request #945 from antonio-nino-diaz-arm/an/xlat-dependency
authordanh-arm <dan.handley@arm.com>
Mon, 22 May 2017 14:29:12 +0000 (15:29 +0100)
committerGitHub <noreply@github.com>
Mon, 22 May 2017 14:29:12 +0000 (15:29 +0100)
xlat: Fix missing header file dependency


Trivial merge