Use prebuilt kernel