CONFIG_GIC_NON_BANKED is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_GIC_NON_BANKED (not configurable)
configname: CONFIG_GIC_NON_BANKED
Linux Kernel Configuration
└─>GIC_NON_BANKED