> real world usage Since my machine is a build server, my benchmark for that is: git clean -dxf; make defconfig time make -j vmlinux 37s (after dropp

> real world usage Since my machine is a build server, my benchmark for that is: git clean -dxf; make defconfig time make -j vmlinux 37s (after dropping caches). So I'm happy enough.