CONFIG_MACH_SUN4I is not available for thedefaultarchitecture 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
In linux kernel since version 3.10 (release Date: 2013-06-30)  

is selected by
CONFIG_DMA_SUN4I