Add kernel symbolizer script