> > Yes, using one kernel source rpm is working fine for us. It's the long > > build time which needs to be overcome. > > distcc helps. distcc helps, I've done it, but until x86 uses distcc in koji, ARM can't use it either.