kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_AR600x_SD31_XXX.
Result is shown for kernelversion 3.1.9

SD31-xxx

configname: CONFIG_AR600x_SD31_XXX

AR6003 Board Data Configuration
└─> SD31-xxx

Board Data file for a standard SD31 reference design (File: bdata.SD31.bin)