intel_iommu: fix and simplify size calculation in process_device_iotlb_desc()