[PATCH] x86_64: Fix a race in the free_iommu path