x86/amd-iommu: Use check_device in get_device_resources