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