DAC support

Hello,
i'am experiencing the same problem as smay4finger described in original post, using this code:

void setup() {
  analogWriteResolution(12);
  analogWrite(DAC0, 4095);
  analogWrite(DAC1, 4095);
}
void loop(){}

however, this code set correct output values:

void setup() {
  analogWriteResolution(12);
  analogWrite(DAC0, 4095);
  analogWrite(DAC1, 4095);
  delay(2);
  analogWrite(DAC0, 2047);
  analogWrite(DAC1, 1023);
}

i suspect problem in this line in wiring_analog.c:

while ((dacc_get_interrupt_status(DACC_INTERFACE) & DACC_ISR_TXRDY) == 0);

but you guys know better.
Regards,Vladimir