K7SEM is fixed. The problem was that you need

option USE_DOC_MIL=1
now, not just
option USE_DOC_MIL

The latter usage led to empty streams struct.

This is a real problem, though: you can no streams for reading and the linker
will happily create an empty streams structure. Which sucks, since you don't know
why your system won't boot.

src/rom/docmil_fill_inbuf.c

@@ -143,7 +143,7 @@ read_bytes(void *vdest, byte_offset_t count)
 				
 		*(dest++) = c;
 	}
-	printk_debug(__FUNCTION__ " vdest %p return count %d\n", 
+	printk_spew(__FUNCTION__ " vdest %p return count %d\n", 
 			vdest, count);
 	return count;
 }