Re: [PATCH] kdump_pre: make notes more precise