Re: [PATCH 1/1] iommu/vt-d: Fix kernel NULL pointer dereference in find_domain()