int device_option_normalize_name(const char *in, char *out);