[OS-BUILD PATCH 0/0] Revert "Update drivers/iommu/intel/iommu.c"