x86/amd-iommu: Simplify get_device_resources()