Use prebuilt kernel to save time