use prebuilt kernel for now