Merge branch 'miniperf' into HEAD
Update Linux alt-toolchain to version built on Debian stable

Change-Id: I845a1a4afe3df21fb6366c8a53f8bce8d9ec9583