diff --git a/src/system/kernel/arch/x86/arch_int.c b/src/system/kernel/arch/x86/arch_int.c
index 765c66b823..94fb033cab 100644
--- a/src/system/kernel/arch/x86/arch_int.c
+++ b/src/system/kernel/arch/x86/arch_int.c
@@ -528,7 +528,7 @@ ioapic_init(kernel_args *args)
 	};
 
 	if (args->arch_args.apic == NULL) {
-		dprintf("no local apic availabe\n");
+		dprintf("no local apic available\n");
 		return;
 	}