Lets use a prebuilt kernel for now