Index: kernel/arch/ia32/src/bios/bios.c
===================================================================
--- kernel/arch/ia32/src/bios/bios.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
+++ kernel/arch/ia32/src/bios/bios.c	(revision 17ccb9d746a0d3db19fc24efcc8f0cfa36479cdf)
@@ -36,4 +36,6 @@
 #include <typedefs.h>
 
+#define BIOS_EBDA_PTR  0x40e
+
 uintptr_t ebda = 0;