Get rid of prebuilt kernel on github