Merge pull request #207 from ozbenh/misc
authorPaul Mackerras <paulus@ozlabs.org>
Wed, 17 Jun 2020 21:26:01 +0000 (07:26 +1000)
committerGitHub <noreply@github.com>
Wed, 17 Jun 2020 21:26:01 +0000 (07:26 +1000)
Random cleanups of the SoC interfaces


Trivial merge