Use prebuild kernel for now