CONFIG_PPC_COPRO_BASE is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_PPC_COPRO_BASE (not configurable)
modulename: copro_fault.ko
configname: CONFIG_PPC_COPRO_BASE
Linux Kernel Configuration
└─>Kernel options
└─>PPC_COPRO_BASE