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

HP iPAQ hx4700

modulename: hx4700.ko

and/or

hx4700-pcmcia.ko

configname: CONFIG_MACH_H4700

Linux Kernel Configuration
└─>Intel PXA2xx/PXA3xx Implementations
└─>HP iPAQ hx4700
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
source code: