diff --git a/arch/x86_64/core/xuk-config.h b/arch/x86_64/core/xuk-config.h
index 7c1b9a38c21..d3621803435 100644
--- a/arch/x86_64/core/xuk-config.h
+++ b/arch/x86_64/core/xuk-config.h
@@ -19,7 +19,7 @@
 
 #define CONFIG_MP_NUM_CPUS 2
 
-#define CONFIG_XUK_64_BIT_ABI 1
+#define XUK_64_BIT_ABI 1
 
 #endif /* CONFIG_X86_64 */
 #endif /* _XUK_CONFIG_H */
diff --git a/arch/x86_64/core/xuk.c b/arch/x86_64/core/xuk.c
index 8ffc06e9fd7..e72e895c0c9 100644
--- a/arch/x86_64/core/xuk.c
+++ b/arch/x86_64/core/xuk.c
@@ -108,7 +108,7 @@ __asm__(".align 16\n"
 	"    push %r11\n"
 	"    mov %rsp, %r8\n"
 	"    sub $48, %r8\n"
-#ifdef CONFIG_XUK_64_BIT_ABI
+#ifdef XUK_64_BIT_ABI
 	"    movq %r8, (%rdx)\n"
 #else
 	"    movl %r8d, (%rdx)\n"