diff --git a/buildroot-external/board/ova/kernel.config b/buildroot-external/board/ova/kernel.config
index cade554c4..6fc7ac14b 100644
--- a/buildroot-external/board/ova/kernel.config
+++ b/buildroot-external/board/ova/kernel.config
@@ -46,6 +46,7 @@ CONFIG_X86_CHECK_BIOS_CORRUPTION=y
 # CONFIG_MTRR_SANITIZER is not set
 CONFIG_EFI=y
 CONFIG_EFI_STUB=y
+# CONFIG_SECCOMP is not set
 CONFIG_HZ_1000=y
 CONFIG_KEXEC=y
 # CONFIG_SUSPEND is not set