[PATCH 3/4] qemu: use configurable dump format in doCoreDumpToAutoDumpPath()