Re: [PATCH v1 11/14] reduce kdump memory consumption by not letting NetworkManager manage unneeded network interfaces