Index: arch/ia32/src/bios/bios.c
===================================================================
--- arch/ia32/src/bios/bios.c	(revision dba84ff88ce25a6cd17ab4cbe353008cbd2da6cc)
+++ arch/ia32/src/bios/bios.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
@@ -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;
 }
Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision dba84ff88ce25a6cd17ab4cbe353008cbd2da6cc)
+++ arch/ia32/src/interrupt.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
@@ -93,5 +93,5 @@
 {
 	printf("cpu%d: syscall\n", CPU->id);
-	thread_usleep(1000000);
+	thread_usleep(1000);
 }
 
Index: arch/ia32/src/smp/apic.c
===================================================================
--- arch/ia32/src/smp/apic.c	(revision dba84ff88ce25a6cd17ab4cbe353008cbd2da6cc)
+++ arch/ia32/src/smp/apic.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
@@ -231,6 +231,6 @@
 	l_apic[TPR] &= TPRClear;
 
-//	if (CPU->arch.family >= 6)
-//		enable_l_apic_in_msr();
+	if (CPU->arch.family >= 6)
+		enable_l_apic_in_msr();
 	
 	tmp = l_apic[ICRlo] & ICRloClear;
@@ -257,4 +257,5 @@
 	
 	l_apic[ICRT] = t1-t2;
+	
 }