sync avr32 patch with the latest ones from atmel