Prebuilt kernel to speed up compilation