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

Corelis Debugger

configname: CONFIG_SB1XXX_CORELIS

Linux Kernel Configuration
└─>Kernel hacking
└─>Corelis Debugger
In linux kernel since version 2.6.12  
Select compile flags that produce code that can be processed by the
Corelis mksym utility and UDB Emulator.