1config INTERNAL_OS_GIC_VER 2 string 3 depends on OS_ARCH_ARMV8 4 default "gicv600" if (INTERNAL_OS_RASPI4)