Playing with my new Serval, compiling the kernel with 81% in average. It took 5 minutes whereas my other laptop i7 takes more than 30 minutes.