When reporting unknown syscalls, print the syscall number in decimal as well as hex.