Revert "Revert "Use arm-eabi-4.7 toolchain""

This reverts commit 8cc062dcbc96ed7fdbcaa34fec398d163ffa29a5.