CONFIG_MIPS_BONITO64 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
CONFIG_MIPS_BONITO64 (not configurable)
modulename: ops-bonito64.ko
configname: CONFIG_MIPS_BONITO64
Linux/MIPS Kernel Configuration
└─>Machine selection
└─>MIPS_BONITO64