Remove prebuilt kernel building