CONFIG_MACH_SUN4I is not available for the selected architecture x86.
Result is shown for architecture arm
Allwinner A10 (sun4i) SoCs support
configname: CONFIG_MACH_SUN4I
Linux Kernel Configuration
└─>Allwinner SoCs
└─>Allwinner A10 (sun4i) SoCs support