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.