Use prebuilt kernel plz