Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 30336)
+++ /trunk/Config.kmk	(revision 30337)
@@ -3692,5 +3692,5 @@
   TEMPLATE_VBOXBLDPROG_SDKS            := WIN32SDK
  else if1of ($(KBUILD_HOST_ARCH), amd64)
-  TEMPLATE_VBOXBLDPROG_TOOL            := VCC80
+  TEMPLATE_VBOXBLDPROG_TOOL            := VCC80AMD64
   TEMPLATE_VBOXBLDPROG_SDKS            := WIN64SDK
  else