make arm syscalls (still non-inline) more efficient