Use arm-eabi-4.7 toolchain