CONFIG_BF51x is not available for the selected architecture x86.
Result is shown for architecture blackfin
CONFIG_BF51x (not configurable)
configname: CONFIG_BF51x
Linux Kernel Configuration
└─>BF51x