CONFIG_SBC82xx is not available for thedefaultarchitecture x86.
Result is shown for architecture ppc

SBC82xx

modulename: todc_time.ko

and/or

sbc82xx.ko

configname: CONFIG_SBC82xx

Machine Type
└─>SBC82xx
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
SBC PowerQUICC II, single-board computer with MPC82xx CPU
Manufacturer: Wind River Systems, Inc.
Date of Release: May 2003
End of Life: -
URL: <http://www.windriver.com/>

source code:
arch/ppc/syslib/todc_time.c
is selected by
CONFIG_MTD_WRSBC8260