Merge branch 'favr-32' of git://git.denx.de/u-boot-avr32