I'm running a couple of ODROID-C2's on C7 with the Hardkernel 3.14 aarch64 kernel. As it stands, the C7-provided GCC 4.8.5 will not successfully compile the kernel; the preferred gcc is 4.9.2, the linaro one for cross-compile. Would it be possible to get devtoolset-3 with gcc4.9.2 built for aarch64?