- Support for CMOS options

- Workaround cmos tables overlapping the traditional bios data segment
- Fixes to the p4dc6 examples to be syntactically correct
- Fixes to NLBConfig to fix the previos syntax error ``option foo bar'' is invalid
- Update docmil_fil_inbuf to only be compiled when the appropriate options are set
- Updates NLBConfig.py to export the variables MAINBOARD && TARGET_DIR
  as well as correct specify the generated files

src/rom/Config

@@ -1,5 +1,9 @@
+option USE_DOC_MIL=0
+option USE_DOC_2000_TSOP=0
+expr USE_DOC = USE_DOC_MIL | USE_DOC_2000_TSOP
+
 driver rom_fill_inbuf.o USE_GENERIC_ROM
-driver docmil_fill_inbuf.o
+driver docmil_fill_inbuf.o USE_DOC
 #driver docplus_fill_inbuf.o
 driver tsunami_tigbus_rom_fill_inbuf.o USE_TSUNAMI_TIGBUS_ROM
 driver serial_fill_inbuf.o USE_SERIAL_FILL_INBUF

src/rom/docmil_fill_inbuf.c

@@ -1,5 +1,3 @@
-#if defined(USE_DOC_MIL) || defined(USE_DOC_2000_TSOP)
-
 #include <cpu/p5/io.h>
 #include <printk.h>
 #include <stdlib.h>
@@ -157,5 +155,3 @@ static struct stream doc_mil_stream __stream = {
 	.skip = skip_bytes,
 	.fini = fini_bytes,
 };
-
-#endif /* USE_DOC_MIL */