Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 41663)
+++ /trunk/Config.kmk	(revision 41664)
@@ -2683,5 +2683,7 @@
 TOOL_VBoxTpG = The VirtualBox Tracepoint Generator
 TOOL_VBoxTpG_DTRACE_DEPEND         = $(VBOX_VBOXTPG)
-TOOL_VBoxTpG_DTRACE_HDR_FLAGS      := -h --host-$(VBOX_HC_ARCH_BITS)-bit #-vvv
+TOOL_VBoxTpG_DTRACE_HDR_FLAGS      := \
+		$(if-expr $(intersects $(bld_trg_arch),$(KBUILD_ARCHES_64)),-64,-32) \
+		-h --host-$(VBOX_HC_ARCH_BITS)-bit #-vvv
 define TOOL_VBoxTpG_DTRACE_HDR_CMDS
 	$(QUIET)$(VBOX_VBOXTPG) $(flags) -o "$(out)" -s "$(source)"