CONFIG_MACH_TETON_BGA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Marvell's PXA168 Teton BGA Development Board

modulename: teton_bga.ko

configname: CONFIG_MACH_TETON_BGA

Linux Kernel Configuration
└─>Marvell PXA168/910/MMP2 Implmentations
└─>Marvell's PXA168 Teton BGA Development Board
In linux kernel since version 2.6.37 (release Date: 2011-01-04)  
Say 'Y' here if you want to support the Marvell PXA168-based
Teton BGA Development Board.

source code:

depends
CONFIG_ARCH_MMP |
| CONFIG_ARCH_MULTI_V5 or CONFIG_ATAGS or CONFIG_UNUSED_BOARD_FILES