Build kernel instead of using prebuilt