AVR32: Use avr32-linux- cross-compilation prefix by default