Re: [PATCH 07/17] Record early crashes to ipmi