boot/efi/arm: use GICv2 driver for GIC-400

The GIC-400 is compliant with Version 2 of the ARM GIC Architecture Specification.

Untested.

see:
* ARM Generic Interrupt Controller Architecture Specification
* CoreLink GIC-400 Generic Interrupt Controller Technical Reference Manual

Change-Id: I4e062173c56dddcc579c04050ca62cb341b60959
Reviewed-on: https://review.haiku-os.org/c/haiku/+/5240
Reviewed-by: Adrien Destugues <[email protected]>
Tested-by: Commit checker robot <[email protected]>

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

@@ -25,6 +25,7 @@ const struct supported_interrupt_controllers {
 } kSupportedInterruptControllers[] = {
 	{ "arm,cortex-a9-gic", INTC_KIND_GICV1 },
 	{ "arm,cortex-a15-gic", INTC_KIND_GICV2 },
+	{ "arm,gic-400", INTC_KIND_GICV2 },
 	{ "ti,omap3-intc", INTC_KIND_OMAP3 },
 	{ "marvell,pxa-intc", INTC_KIND_PXA },
 };