Re: [PATCH] vgaarb: fix signal handling in vga_get()