CONFIG_BOARD_INGENIC is not available for the selected architecture 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.