diff --git a/arch/x86_64/QEMU.cmake b/arch/x86_64/QEMU.cmake
index 4df767b..5c7dbc4 100644
--- a/arch/x86_64/QEMU.cmake
+++ b/arch/x86_64/QEMU.cmake
@@ -43,12 +43,12 @@ add_custom_target(run-kernel
 add_custom_target(run-kernel-monitor
 	COMMAND
 		${QEMU}
-		-kernel $<TARGET_FILE:${kernel_name}>
+		-kernel ${patched_kernel}
 		-initrd ${sys_dir}/${bsp_name}
 		${generic_flags} ${no_debug_flags}
 		-monitor stdio
 	USES_TERMINAL
-	DEPENDS ${kernel_name} bsp)
+	DEPENDS ${patched_kernel} bsp)
 
 if (image_cdrom)
 	message(STATUS "QEMU: Enable CD-ROM boot")