v1->v2: Fix SPDX-License-Identifierv2->v3: Rework according suggestions from Marc Zyngier, Thanks.v3->v4: Rework the driver into a single chip driver.v4->v5: Fix minor issues.