diff --git a/xen/common/device-tree/Makefile b/xen/common/device-tree/Makefile
index 831b91399b..ff54a8ef2b 100644
--- a/xen/common/device-tree/Makefile
+++ b/xen/common/device-tree/Makefile
@@ -1,8 +1,8 @@
 obj-y += bootfdt.init.o
 obj-y += bootinfo.init.o
 obj-y += device-tree.o
-obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += domain-build.o
-obj-$(CONFIG_DOM0LESS_BOOT) += dom0less-build.o
+obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += domain-build.init.o
+obj-$(CONFIG_DOM0LESS_BOOT) += dom0less-build.init.o
 obj-$(CONFIG_OVERLAY_DTB) += dt-overlay.o
 obj-y += intc.o
 obj-$(CONFIG_DOMAIN_BUILD_HELPERS) += kernel.o