E407/: switch from Ubuntu's arm-linux-gnueabi to newlib-based arm-none-eabi