Linux enthusiasts see 10-second kernel compilation times on the horizon