Use prebuilt kernel binary + modules