High-quality browsable Linux kernel syscall tables for multiple architectures