avr32: Fix printf() format warnings