Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 56509)
+++ /trunk/Config.kmk	(revision 56510)
@@ -1859,6 +1859,13 @@
   VBOX_XMLLINT := $(VBOX_HAVE_XMLLINT)
  endif
-endif
-VBOX_HAVE_XMLLINT := $(if $(VBOX_XMLLINT),1,)
+ ifneq ($(VBOX_XMLLINT),)
+  VBOX_HAVE_XMLLINT := 1
+ else
+  VBOX_XMLLINT := xmllint
+  VBOX_HAVE_XMLLINT :=
+ endif
+else
+ VBOX_HAVE_XMLLINT := 1
+endif
 
 # bin2c (convert binary files into C arrays)