This patch updates qemu driver to allow the client to choose the
vmcore's format: memory only or including device state.