Symbol: mpc42_is_rmcm_config_supported