More Arch usage in syscalls.py
Make `times` use Arch.
Add test for `times` syscall.