(temp): Use prebuild kernel