Add dmark-based markup.
Increase the socket buffer to 4k & concatenate with EOT in userland.

Before this change, the test board took ~130ms to load.
After this change, that conksuck time is down to ~8ms.

Syscalls are even slower that I thought.