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