Re: [PATCH 2/2] qemu: Provide sane default for dump_guest_core