Switch to boosted a15 optimized 4.9 toolchain