diff --git a/config-6.12 b/config-6.12
index 491c7ca..3235bae 100644
--- a/config-6.12
+++ b/config-6.12
@@ -7903,9 +7903,11 @@ CONFIG_VDSO=y
 # CONFIG_VF610_ADC is not set
 # CONFIG_VF610_DAC is not set
 # CONFIG_VFAT_FS is not set
+# CONFIG_VFIO_AMBA is not set
 # CONFIG_VFIO_DEBUGFS is not set
 # CONFIG_VFIO_FSL_MC is not set
 # CONFIG_VFIO is not set
+# CONFIG_VFIO_PLATFORM is not set
 # CONFIG_VGA_ARB is not set
 # CONFIG_VGASTATE is not set
 # CONFIG_VGA_SWITCHEROO is not set