Re: [bitfolk] Updating CentOS kernel