[PATCH v2 4/9] PCI/VGA: Remove empty vga_arb_device_card_gone()