Add the stock kernel for recovery