Merge pull request #1812 from antonio-nino-diaz-arm/an/fix-cortex
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 12 Feb 2019 18:48:48 +0000 (18:48 +0000)
committerGitHub <noreply@github.com>
Tue, 12 Feb 2019 18:48:48 +0000 (18:48 +0000)
Fix CPU headers' definitions


Trivial merge