use a older toolchain, seems more stable and allows building with the -O3 flag for arm_CFLAGS
Merge commit 'af87959' into HEAD