810cd4bb5345 ("vfio/pci: Lock external INTx masking ops")