use common prebuilt kernel