Allow the kernel to be built with multiple makejobs on Linux platforms.