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 a1e98deec8f5c40dc74b23699c4502563cd0dd2b)
@@ -36,4 +36,6 @@
 #include <typedefs.h>
 
+#define BIOS_EBDA_PTR  0x40e
+
 uintptr_t ebda = 0;