CONFIG_SIBYTE_SENTOSA is not available for the selected architecture x86.
Result is shown for architecture mips
BCM91250E-Sentosa
configname: CONFIG_SIBYTE_SENTOSA
BCM1xxx SOC-based board
└─>BCM91250E-Sentosa