Use prebuilt kernel for now