[U-Boot] Recommended AVR32 toolchain