Revert "Use arm-eabi-4.7 toolchain"

This reverts commit 677e1f677856f21806b1e901cf537de3a346c72f.