Merge pull request #1430 from dp-arm/dp/cpulib
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 19 Jun 2018 14:07:30 +0000 (15:07 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Jun 2018 14:07:30 +0000 (15:07 +0100)
cpulib: Add ISBs or comment why they are unneeded


Trivial merge