diff --git a/src/system/boot/platform/bios_ia32/bios.S b/src/system/boot/platform/bios_ia32/bios.S
index 1bd0d324fc..a1bd5fc1a1 100644
--- a/src/system/boot/platform/bios_ia32/bios.S
+++ b/src/system/boot/platform/bios_ia32/bios.S
@@ -232,6 +232,7 @@ int_number:
 
 //--------------------------------------------------------------
 
+.globl idt_descriptor
 idt_descriptor:
 	.short	0x7ff				// IDT at 0x0, default real mode location
 	.long	0x0