Index: arch/ia32/src/bios/bios.c
===================================================================
--- arch/ia32/src/bios/bios.c	(revision dba84ff88ce25a6cd17ab4cbe353008cbd2da6cc)
+++ arch/ia32/src/bios/bios.c	(revision 10a2e2286c964c27a26a6a74e033a32fa0c92749)
@@ -34,5 +34,5 @@
 void bios_init(void)
 {
-	/* Copy the EBDA out from BIOS Data Area */
+	/* Copy the EBDA address out from BIOS Data Area */
 	ebda = *((__u16 *) BIOS_EBDA_PTR) * 0x10;
 }