Disclaimer: I'm an active developer of BOLT. It takes BOLT less than 10 second to optimize the Linux kernel once the profile is collected. There's no need for

Disclaimer: I'm an active developer of BOLT. It takes BOLT less than 10 second to optimize the Linux kernel once the profile is collected. There's no need for a distributed build system to take advantage of that. Overall, we have improved both processing time and memory consumption over the years.