[PATCH 5/6] xhci: Use device_iommu_mapped()