Generate HTML system call table from Linux source