[PATCH V4 07/10] PCI/VGA: Split out vga_arb_update_default_device()