Benchmark based on kernel builds
