[PULL v2] GIC changes for Linux 4.4

Hi Thomas, Jason, Here's the pull request for the GIC updates I stashed over the past few weeks. Only real new feature is the 32bit support from Jean-Philippe, the rest is all about dealing with errata and firmware. Please pull! Thanks, M. The following changes since commit

[PULL v2] GIC changes for Linux 4.4

Hi Thomas, Jason, Here's the pull request for the GIC updates I stashed over the past few weeks. Only real new feature is the 32bit support from Jean-Philippe, the rest is all about dealing with errata and firmware. Please pull! Thanks, M. The following changes since commit