It would be nice if he changed them (hint, hint)
We keep streams state in so->so_ptcb; this field is unused in all the kernel. Fix poll(2) timeout computation; add hrtsys and waitsys syscalls.