ADLINK cPCI-3510 Series - Manual (Page 129)

BIOS Setup Utility 115
cPCI-3510
Memory Configuration
Memory Remap
Enable or disable memory remap above 4G. Set this value to
Enabled/Disabled.