Re: [PATCH] fadump: avoid non-debug kernel use for fadump case