[bitfolk] Updating CentOS kernel