default or selected kernelversion does not have config value CONFIG_WIMAX_GDM72XX.
Result is shown for kernelversion 6.5.1

GCT GDM72xx WiMAX support

modulename: gdmwm.ko

configname: CONFIG_WIMAX_GDM72XX

Linux Kernel Configuration
└─>Device Drivers
└─>Staging drivers
└─>MMC/SD/SDIO card support
└─>GCT GDM72xx WiMAX support
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Support for the GCT GDM72xx WiMAX chip

source code:
drivers/staging/gdm72xx/