SYSCONFIG: Bug in the ADC setup in Sysconfig -- can''t select a value for VREFHI

Sysconfig allows you to setup the reference for the ADC, however, you can only specify the voltage reference for the internal reference.  The external reference can't be specified. In the device driver there are two options for an external voltage reference:

//*****************************************************************************
//
//! Values that can be passed to ADC_setVREF() and ADC_setOffsetTrimAll() as the
//! \e refVoltage parameter.
//!
//
//*****************************************************************************
typedef enum
{
    ADC_REFERENCE_3_3V = 0U,
    ADC_REFERENCE_2_5V = 1U
} ADC_ReferenceVoltage;

However, there is only one option possible in sysconfig:

If you switch to "Internal" reference, you get an option to specify the internal reference:

Is there a workaround so I don't have to edit the automatically generated files?

Regards