iommu/vt-d: Use BUG_ON instead of if () BUG()