Fall back to 4.7.4 Linaro until we have a proper kernel
for new sabermod toolchains