build with a prebuilt kernel