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