CONFIG_MACH_AAED2000 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Agilent AAED-2000 Development Platform
modulename: aaed2000.ko
configname: CONFIG_MACH_AAED2000
Linux Kernel Configuration
└─>Agilent AAEC-2000 Implementations
└─>Agilent AAED-2000 Development Platform