Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 41664)
+++ /trunk/Config.kmk	(revision 41665)
@@ -2684,5 +2684,5 @@
 TOOL_VBoxTpG_DTRACE_DEPEND         = $(VBOX_VBOXTPG)
 TOOL_VBoxTpG_DTRACE_HDR_FLAGS      := \
-		$(if-expr $(intersects $(bld_trg_arch),$(KBUILD_ARCHES_64)),-64,-32) \
+		$(if-expr $(intersects $(KBUILD_TARGET_ARCH),$(KBUILD_ARCHES_64)),-64,-32) \
 		-h --host-$(VBOX_HC_ARCH_BITS)-bit #-vvv
 define TOOL_VBoxTpG_DTRACE_HDR_CMDS
