Don't check 64bit host->guest address if not DEBUG_MEMORY