diff --git a/src/kernel/boot/platform/bios_ia32/bios.h b/src/kernel/boot/platform/bios_ia32/bios.h
index 80a168c8d2..531ee628f5 100644
--- a/src/kernel/boot/platform/bios_ia32/bios.h
+++ b/src/kernel/boot/platform/bios_ia32/bios.h
@@ -23,6 +23,8 @@ struct bios_regs {
 	uint16	flags;
 };
 
+#define CARRY_FLAG	0x01
+
 extern
 #ifdef __cplusplus
 "C"