This patch adds support for GICv3 (such as GIC-500). Signed-off-by: Jan Kotas <jank@cadence.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>