compiled kernel instead of prebuilt