diff --git a/sdk_container/src/third_party/coreos-overlay/changelog/bugfixes/2022-10-17-iommu-arm64.md b/sdk_container/src/third_party/coreos-overlay/changelog/bugfixes/2022-10-17-iommu-arm64.md
new file mode 100644
index 0000000000..fdef805513
--- /dev/null
+++ b/sdk_container/src/third_party/coreos-overlay/changelog/bugfixes/2022-10-17-iommu-arm64.md
@@ -0,0 +1 @@
+- Enabled IOMMU on arm64 kernels, the lack of which prevented some systems from booting ([coreos-overlay#2235](https://github.com/flatcar/coreos-overlay/pull/2235))
diff --git a/sdk_container/src/third_party/coreos-overlay/sys-kernel/coreos-modules/files/arm64_defconfig-5.15 b/sdk_container/src/third_party/coreos-overlay/sys-kernel/coreos-modules/files/arm64_defconfig-5.15
index 140c9996ab..b9e11bc9d4 100644
--- a/sdk_container/src/third_party/coreos-overlay/sys-kernel/coreos-modules/files/arm64_defconfig-5.15
+++ b/sdk_container/src/third_party/coreos-overlay/sys-kernel/coreos-modules/files/arm64_defconfig-5.15
@@ -13,6 +13,8 @@ CONFIG_ARCH_ZYNQMP=y
 CONFIG_ARM64_ACPI_PARKING_PROTOCOL=y
 CONFIG_ARM64_CRYPTO=y
 CONFIG_ARM64_VA_BITS_48=y
+CONFIG_ARM_SMMU=y
+CONFIG_ARM_SMMU_V3=y
 CONFIG_BCM7XXX_PHY=m
 CONFIG_BCMGENET=m
 CONFIG_CHR_DEV_SCH=m
@@ -33,7 +35,7 @@ CONFIG_FB_ARMCLCD=y
 CONFIG_GPIO_PL061=y
 CONFIG_GPIO_XGENE=y
 CONFIG_GPIO_XGENE_SB=y
-# CONFIG_IOMMU_SUPPORT is not set
+CONFIG_IOMMU_SUPPORT=y
 # CONFIG_IOSCHED_DEADLINE is not set
 CONFIG_KVM=y
 CONFIG_LEGACY_PTY_COUNT=16