Index: /trunk/src/VBox/Devices/PC/BIOS-new/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS-new/Makefile.kmk	(revision 41656)
+++ /trunk/src/VBox/Devices/PC/BIOS-new/Makefile.kmk	(revision 41657)
@@ -145,4 +145,16 @@
 # MakeDebianBiosAssembly - For distros without OpenWatcom.
 #
+ifdef TODO_LATER
+BLDPROGS += MakeDebianBiosAssembly
+MakeDebianBiosAssembly_TEMPLATE = VBoxAdvBldProg
+MakeDebianBiosAssembly_DEFS     = IN_DIS
+MakeDebianBiosAssembly_SOURCES  = MakeDebianBiosAssembly.cpp
+MakeDebianBiosAssembly_LIBS     = \
+	$(PATH_STAGE_LIB)/DisasmR3$(VBOX_SUFF_LIB)
+ifdef IPRT_WITH_KSTUFF
+MakeDebianBiosAssembly_LIBS    += \
+	$(PATH_STAGE_LIB)/VBox-kStuff$(VBOX_SUFF_LIB)
+endif
+else
 PROGRAMS += MakeDebianBiosAssembly ## TODO this is build program, really. later.
 MakeDebianBiosAssembly_TEMPLATE = VBOXR3EXE
@@ -152,5 +164,5 @@
 	$(PATH_STAGE_LIB)/DisasmR3$(VBOX_SUFF_LIB) \
 	$(LIB_RUNTIME)
-
+endif
 
 include $(FILE_KBUILD_SUB_FOOTER)