drivers/pci/intel-iommu.c: fix build with older gcc's