kernel/include/config/ARM_GIC_MAX_NR