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