diff --git a/xen/Makefile b/xen/Makefile
index 294fb9e25a..d68c84dccd 100644
--- a/xen/Makefile
+++ b/xen/Makefile
@@ -103,7 +103,7 @@ _uninstall:
 
 .PHONY: _debug
 _debug:
-	objdump -D -S $(TARGET)-syms > $(TARGET).s
+	$(OBJDUMP) -D -S $(TARGET)-syms > $(TARGET).s
 
 .PHONY: _clean
 _clean: delete-unfresh-files