As DeviceParam is only useful for the device config key, I think we should add it just before the config key declaration in the file configdefaults.py. No other config will reuse it.