Re: [PATCH] vgaarb: call pci_disable|enable_device on decoding vga devices