Fix syscall trampoline for read()