Re: [PATCH v3] qemu: add a monitor to /proc/$pid when killing times out