CONFIG_SIBYTE_CARMEL is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
Support for Sibyte BCM91120x-Carmel
configname: CONFIG_SIBYTE_CARMEL
System type
└─>Support for Sibyte BCM91120x-Carmel