ARM syscalls.c: Tidy up formatting.