Hi Colin,
The EVREF0102A has an optional LDO filter for the ADC_AVCC rail. Check to see if it is there as this can be used to get the 0.25mVpp ripple. Furthermore, you may need to adjust the input voltage to take into account for the dropout voltage across the LDO filter.
Regards,
Tyler