Going to use prebuilt kernel