CONFIG_BOARD_INGENIC is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

Support boards based on Ingenic SoCs

configname: CONFIG_BOARD_INGENIC

Linux Kernel Configuration
└─>Support boards based on Ingenic SoCs
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Enable support for boards based on Ingenic SoCs.