CONFIG_GIC_NON_BANKED (not configurable)
configname: CONFIG_GIC_NON_BANKED
Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>GIC_NON_BANKED