I noticed that dup_{read,write} might have some UB, so I added a TODO comment about it. I think to fix that todo, there would have to be changes across here, redox-syscall, and the kernel to pass around pointers rather than references, but I figure you gotta start somewhere.
