From 2f76018b56a88cbc7eac9a288e835e9dfddb8c7c Mon Sep 17 00:00:00 2001
From: Maximilian Luz <luzmaximilian@gmail.com>
Date: Wed, 8 Dec 2021 17:09:06 +0100
Subject: [PATCH] pkg/debian: Disable Intel IOMMU by default

IOMMU breaks ME and thus IPTS on gen5/6 devices. So disable it by
default.
---
 pkg/debian/kernel/ubuntu.config | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkg/debian/kernel/ubuntu.config b/pkg/debian/kernel/ubuntu.config
index 8995f4701..17590645b 100644
--- a/pkg/debian/kernel/ubuntu.config
+++ b/pkg/debian/kernel/ubuntu.config
@@ -56,3 +56,9 @@ CONFIG_ACPI_I2C_OPREGION=y
 ##
 
 # CONFIG_INPUT_EVBUG is not set
+
+##
+## Do not enable Intel IOMMU by default, it breaks IPTS/ME.
+##
+
+CONFIG_INTEL_IOMMU_DEFAULT_ON=n