jlecoeur Fix URL for avr32-patches