Merge pull request #1855 from dp-arm/dp/ssbs
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 5 Mar 2019 09:52:28 +0000 (09:52 +0000)
committerGitHub <noreply@github.com>
Tue, 5 Mar 2019 09:52:28 +0000 (09:52 +0000)
Ensure proper ID register is checked for feature detection


Trivial merge