Split off kernel build for prebuilt binaries