Re: [PATCH 10/17] arm64: generate 64-bit syscall.tbl