Using prebuilt kernel