bring in a15 optimized kernel toolchains from @Christopher83