Re: [PATCH v2 2/2] kexec-kdump-howto.txt: Add notes about device dump