Switch to vanilla kernel
