diff --git a/src/kernel/core/arch/x86/arch_dbg_console.c b/src/kernel/core/arch/x86/arch_dbg_console.c
index 9163702961..e8bf50fbe4 100755
--- a/src/kernel/core/arch/x86/arch_dbg_console.c
+++ b/src/kernel/core/arch/x86/arch_dbg_console.c
@@ -189,7 +189,7 @@ arch_dbg_con_init_settings(kernel_args *args)
 	if (handle != NULL) {
 		const char *value;
 
-#ifdef BOCHS_DEBUG_HACK
+#if BOCHS_DEBUG_HACK
 		sBochsOutput = get_driver_boolean_parameter(handle, "bochs_debug_output", false, false);
 #endif
 		value = get_driver_parameter(handle, "serial_debug_port", NULL, NULL);