[Bug 838551] syscall() truncates return value to 32 bits