travis: coverity: Configure arm-none-eabi-gcc.