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

HP Labs BadgePAD 4

modulename: badge4.ko

configname: CONFIG_SA1100_BADGE4

Linux Kernel Configuration
└─>SA11x0 Implementations
└─>HP Labs BadgePAD 4
In linux kernel since version 2.6.12  
Say Y here if you want to build a kernel for the HP Laboratories
BadgePAD 4.

source code:
arch/arm/mach-sa1100/badge4.c