avr32
fix_printf
