Re: [PATCH] Several improvements to early-kdump-howto.txt