diff --git a/src/arch/x86/core/x86_io.c b/src/arch/x86/core/x86_io.c
index 270ed7bef..bc31c45f5 100644
--- a/src/arch/x86/core/x86_io.c
+++ b/src/arch/x86/core/x86_io.c
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/io.h>
 #include <ipxe/x86_io.h>