diff --git a/src/mainboard/technoland/sbc710/Config b/src/mainboard/technoland/sbc710/Config
index afe15a75df..6c2e4e75f6 100644
--- a/src/mainboard/technoland/sbc710/Config
+++ b/src/mainboard/technoland/sbc710/Config
@@ -22,6 +22,14 @@ option NO_KEYBOARD
 option HAVE_PIRQ_TABLE
 option ZKERNEL_START=0xfffc0000
 option ZKERNEL_MASK=0x7f 
+# For those people who use DoC
+# on DoC on this board, Linux starts at the front. No need to have 
+# linuxbios in DoC as it is in FLASH
+# Actually we'll leave it at the 65K offset. The reason to leave it there
+# is we can drop any LinuxBIOS DoC in from any machine and it will work 
+# fine. 
+# option DOC_KERNEL_START 0
+option DOC_MIL_BASE=0xd000
 option L440BX
 
 object mainboard.o
diff --git a/src/rom/docmil_fill_inbuf.c b/src/rom/docmil_fill_inbuf.c
index 78b842074c..3e1bd278a0 100644
--- a/src/rom/docmil_fill_inbuf.c
+++ b/src/rom/docmil_fill_inbuf.c
@@ -11,12 +11,16 @@
 #define DOC_KERNEL_START 65536
 #endif
 
+#ifndef DOC_MIL_BASE
+#define DOC_MIL_BASE  0xffffe000
+#endif
+
 static unsigned char *nvram;
 static int block_count;
 static int firstfill = 1;
 
 static void memcpy_from_doc_mil(void *dest, const void *src, size_t n);
-static unsigned char *doc_mil = (unsigned char *) 0xffffe000;
+static unsigned char *doc_mil = (unsigned char *) DOC_MIL_BASE;
 #ifdef CHECK_DOC_MIL
 static unsigned char *checkbuf;
 #endif /* CHECK_DOC_MIL */