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

CONFIG_MACH_JZ4725B (not configurable)

configname: CONFIG_MACH_JZ4725B

Linux Kernel Configuration
└─>MACH_JZ4725B
In linux kernel since version 5.1 (release Date: 2019-05-05)