PPC kernel build times