vfio/pci: Split vfio_intx_update()