Revision 504

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.