CONFIG_ARM_GIC_MAX_NR=1
