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

Ingenic SoC based machines

modulename: board-ingenic.ko

configname: CONFIG_MACH_INGENIC

System type
└─>Ingenic SoC based machines
In linux kernel since version 3.10 (release Date: 2013-06-30)  

is selected by
CONFIG_PWM_JZ4740