tools headers: Update x86's syscall_64.tbl with the kernel sources