CONFIG_MACH_SE4200 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_MACH_SE4200.
Result is shown for kernelversion 6.9.9

SecureComputing SE4200

modulename: board-sg.ko

configname: CONFIG_MACH_SE4200

Linux Kernel Configuration
└─>Kendin/Micrel KS8695 Implementations
└─>SecureComputing SE4200
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Say 'Y' here if you want your kernel to support the
SecureComputing / SnapGear SE4200 Secure Wireless VPN
Internet Router.
See http://www.securecomputing.com for more details.

source code: