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

BCM91120x-Carmel

configname: CONFIG_SIBYTE_CARMEL

BCM1xxx SOC-based board
└─>BCM91120x-Carmel
In linux kernel since version 2.6.12  

depends
 or CONFIG_EXPERIMENTAL