build_sdk: use a jobserver/thread pool for speed#479

midnightveil wants to merge 1 commit intoseL4:mainseL4/microkit:mainfrom

au-ts:julia/faster-buildsau-ts/microkit:julia/faster-buildsCopy head branch name to clipboard