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/MMP3
└─>Marvell PXA168/910/MMP2 Implementations
└─>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: