Merge pull request #811 from davidcunado-arm/dc/dc-scratch-pad
authordavidcunado-arm <david.cunado@arm.com>
Wed, 18 Jan 2017 11:42:42 +0000 (11:42 +0000)
committerGitHub <noreply@github.com>
Wed, 18 Jan 2017 11:42:42 +0000 (11:42 +0000)
Correct system include order


Trivial merge