[PATCH] x86_64: Fix CONFIG_IOMMU_DEBUG